Microkit - A simple operating system framework for the seL4 microkernel

Forward Mode Automatic Differentiation for Julia

A curated list of TLA+ resources.

Actix Web JWT

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Open source solutions for SOC2, GDPR, and ISO27001

Finally a Fabioulous & Fast Fuzzy File Finder for neovim

HDF5-compatible file format in pure Julia

PubGrub version solving algorithm implemented in Rust

Cosmo is a language replacing awful C++'s compile-time magics

The static-site blog template using astro and typst

An awesome list of e-graph resources

WebAssembly Virtual Machine

Kimi K2 is the large language model series developed by Moonshot AI team

A neurosymbolic perspective on LLMs

Kyutai's Speech-To-Text and Text-To-Speech models based on the Delayed Streams Modeling framework.

Mathematical Optimization in Julia. Local, global, gradient-based and derivative-free. Linear, Quadratic, Convex, Mixed-Integer, and Nonlinear Optimization in one simple, fast, and differentiable i…

Implementation of Tacotron 2

Symbolic programming for the next generation of numerical software

A primitive computer algebra system

An extremely fast Python type checker and language server, written in Rust.

Formally verified compiler from expression language to zero-knowledge circuits in Lean

A WebAssembly runtime implemented in TypeScript types

Algebraic data types for C99

Simple Stack-Based Language for Editing Videos

Convert bash aliases to Nushell using Treesitter and a parser