Skip to content
View fridis's full-sized avatar
  • Tokiwa Software GmbH
  • Karlsruhe
  • X @fridi_s

Organizations

@tokiwa-software

Block or report fridis

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Source code of Ferrocene, safety-critical Rust toolchain

Rust 1,368 40 Updated Mar 14, 2025

A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.

Cuda 168 9 Updated Feb 1, 2025

The Fuzion Language Implementation

Java 51 11 Updated Mar 13, 2025

A toy dependent typed language.

Agda 28 Updated Feb 23, 2025

The Bluesky Social application for Web, iOS, and Android

TypeScript 15,463 2,097 Updated Mar 14, 2025

JLine is a Java library for handling console input.

Java 1,549 221 Updated Mar 13, 2025
Makefile 4 1 Updated Feb 12, 2025

Base16 for Shells

Shell 239 39 Updated Jun 30, 2024

[MIRROR] Official Gentoo ebuild repository

Shell 2,171 2,076 Updated Mar 14, 2025

https://openjdk.org/projects/valhalla

CSS 60 18 Updated Aug 1, 2024

https://openjdk.org/projects/valhalla

Java 566 107 Updated Mar 14, 2025

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

Java 6,800 1,986 Updated Aug 20, 2024

https://openjdk.org/projects/code-tools

Java 403 65 Updated Mar 13, 2025

A fast, friendly, functional language.

Rust 4,862 327 Updated Mar 14, 2025

An APL-like programming language

BQN 943 61 Updated Mar 12, 2025

A BASIC Compiler and IDE for Amiga Computers

C 75 6 Updated Nov 19, 2023

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Haskell 223 13 Updated Jan 22, 2024

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Nim 16,887 1,476 Updated Mar 14, 2025

A new markup-based typesetting system that is powerful and easy to learn.

Rust 38,334 1,051 Updated Mar 13, 2025

https://openjdk.org/projects/code-tools/jcstress

Java 442 61 Updated Dec 3, 2024

The single instruction C compiler

C 9,676 404 Updated May 29, 2024

Fast Java native interface based on JVMCI

Java 446 31 Updated Jan 24, 2024

moved to https://codeberg.org/dirs/directories-jvm

Java 244 30 Updated Nov 7, 2024

Koka language compiler and interpreter

Haskell 3,449 174 Updated Mar 14, 2025

Idioms from https://www.programming-idioms.org implemented in the Fuzion language.

HTML 3 3 Updated Mar 12, 2025

A modern general-purpose programming language focused on enterprise Web, IoT, and secure application development.

Blade 176 11 Updated Mar 14, 2025

Activate Numpad inside the touchpad with top right corner switch

Python 307 71 Updated Jan 20, 2025

JDK main-line development https://openjdk.org/projects/jdk

Java 20,585 5,749 Updated Mar 14, 2025

A fast, lightweight Java library for creating Scalable Vector Graphics (SVG) output.

Java 331 57 Updated Feb 23, 2025

Prime Number Projects in C#/C++/Python

C# 2,544 570 Updated Mar 9, 2025
Next