Game library for 2d games written in Typescript.

Simple wildcard matching

Foblex Flow - is an Angular library designed to simplify the creation and manipulation of dynamic flow. Provides components for flows, nodes, and connections, automating node manipulation and inter…

Raylib bindings for Lean4

Types and functions to make composition easy and safe

Runtime validation for static types

The simple, fast, and scalable code generator that lives in your project.

🏁 Web based Windows XP desktop recreation.

🧪 | Rinha de Backend Lean4

🌐 | HTTP primitives for Lean 4

SDL2 binding for Idris

A 2D platformer in Idris, a dependently-typed purely functional programming language

Code documentation written as code! How novel and totally my idea!

Code. Music. Live.

🦐 check if the given function is is-odd

The Lobster Programming Language

Prettify TypeScript: Better Type Previews

An in terminal youtube music client with focus on privacy, simplicity and performance

TypeScript implementation of Gossipsub

A collection of resources for learning type theory and type theory adjacent fields.

Automated theorem prover for first-order predicate logic written in TypeScript

Starter Kit for web-backend apps written with Haskell, Servant, Docker and PostgreSQL

Intuitive, type-safe expression quotations for Lean 4.

A massively parallel, optimal functional runtime in Rust

A code generator to generate TypeScript code generator from TypeScript code

Agda is a dependently typed programming language / interactive theorem prover.

wgpu fragment shader experimentation application, written with Iced.

A cross-platform GUI library for Rust, inspired by Elm

A curated list of resources, projects, and tools using or for the pest parser generator in Rust