Fast ML inference & training for ONNX models in Rust

A compiler for language "memento"

Firefox extension for managing tabs and bookmarks in sidebar.

A Proof-oriented Programming Language

A modular Common Lisp game engine

A post-apocalyptic actionRPG. Now on Steam!

perfect programming language

A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

System76 Launch Configurable Keyboard

A strongly-typed language that compiles to JavaScript

A little fail-safe filesystem designed for microcontrollers

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 4 programming language and theorem prover

A Hardware Abstraction Layer (HAL) for embedded systems

🦀 + SlimeVR = 💖

Multi-user server for Jupyter notebooks

Introduction to Dyalog APL: https://xpqz.github.io/learnapl

A stream-based runtime-verification framework for generating hard real-time C code.

A pigeon that has been pigeoning for so long.

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

Robust Speech Recognition via Large-Scale Weak Supervision