simonhorlick

ecapture

Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

devine

Modular Movie, TV, and Music Archival Software

borgo

Borgo is a statically typed language that compiles to Go.

react-native-biometrics

React Native module for iOS and Android biometrics

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

drizzle-orm

Headless TypeScript ORM with a head. Runs on Node, Bun and Deno. Lives on the Edge and yes, it's a JavaScript ORM too 😅

byd-react-app-reverse

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

jellyfin

The Free Software Media System

The-Spiral-Language

Functional language with intensional polymorphism and first-class staging.

spinnaker

refine

A React Framework for building internal tools, admin panels, dashboards & B2B apps with unmatched flexibility.

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

plot

A concise API for exploratory data visualization implementing a layered grammar of graphics

rune

Rune is a programming language developed to test ideas for improving security and efficiency.

spicedb

Open Source, Google Zanzibar-inspired permissions database to enable fine-grained authorization for customer applications

OK

Welcome to the future of programming languages: OK?

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

stlc

This aims to be the most pretentious implementation of stlc in existence

austral

Systems language with linear types and capability-based security.

recipe-el_fuego_viviente

Fermented Chili "Open Sauce" - My most starred repo has no code in it!

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

graphjin

GraphJin - Build NodeJS / GO APIs in 5 minutes not weeks

unicorn

Purely functional GUI algebra

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

futhark

:boom::computer::boom: A data-parallel functional programming language

snowpack-plugin-closure-compiler

reduce js file size in snowpack with closure compiler

inet-cute

An implementation of interaction nets. -- ASCII art inspired syntax. -- Pure postfix expression. -- Using a stack-based low-layer language to build nets.

cockroach

CockroachDB - the open source, cloud-native distributed SQL database.

3factor-example

Canonical example of building a 3factor app : a food ordering application