🗓️ A small library for reading and writing ICalendar files.

A fast, friendly, functional language.

A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.

Lightning-fast and Powerful Code Editor written in Rust

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Global, derivative-free optimization for hyperparameter tuning

A simple web extension that redirects Twitter, YouTube, Instagram & Google Maps requests to privacy friendly alternatives.

Property based Testing for Elixir (based upon PropEr)

An open source web application for railway infrastructure design, capacity analysis, timetabling and simulation

Dockerfiles for Clang and LLVM

Jan is an open source alternative to ChatGPT that runs 100% offline on your computer. Multiple engine support (llama.cpp, TensorRT-LLM)

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Haskell source code suggestions

Platform for hosting and sharing terminal session recordings

Dark Reader Chrome and Firefox extension

Programming language for literate programming law specification

A Gradual type system for Erlang

Multiplatform app bundler tool for Elixir

Tool for generating interfaces between native C code and Elixir

dev tools, env vars, task runner

MITIE: library and tools for information extraction

StampWallet appliaction backend