mheinzel

munihac24-mcmc

Statistical inference with Markov chain Monte Carlo algorithms and Haskell

ilonanpa

ilo nanpa li ilo pi nasin nanpa pi toki pona.

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

rust-memory-container-cs

Rust Memory Container Cheat-sheet

ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

toki_ilo_pona

linja-Sipiki

6x6* font for toki pona

sitelen-sitelen

SVG glyphs for sitelen sitelen

sitelen-sitelen-renderer

JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

uniffi-rs

a multi-language bindings generator for rust

DreamBerd

perfect programming language

eclair-lang

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

rock

Build system

tasks

Bringing Astrid Tasks back from the dead

typst

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

Walleye

A chess engine written from scratch in Rust ♞

Inanis

UCI chess engine written in Rust, the successor of Proxima b, Proxima b 2.0 and Cosette.

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Lynx

Chess Engine, written in C#

nix-software-center

A simple gtk4/libadwaita software center to easily install and manage nix packages

nixpkgs

Nix Packages collection & NixOS

obsidian-citation-plugin

Obsidian plugin which integrates your academic reference manager with the Obsidian editor. Search your references from within Obsidian and automatically create and reference literature notes for papers and books.

jabref

Graphical Java application for managing BibTeX and biblatex (.bib) databases

emanote

Emanate a structured view of your plain-text notes

Zettlr

Your One-Stop Publication Workbench

dex-lang

Research language for array processing in the Haskell/ML family

facet

a functional programming language with algebraic effects and handlers

spire

Algorithmically solve Slay the Spire

overeasy

A purely functional E-Graph library