Prologos is a functional-logic language unifying dependent types, session types, linear types (QTT), logic programming, and propagators.

a zero-knowledge proof-carrying code platform for Lean 4

MCP server for token-efficient large document analysis via the use of REPL state

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

Official docs, website, and handbook for PostHog.

Todo-like desktop app running on Tauri using Sqlite as a data source

Allows AI agents (e.g., Cursor, Claude Code) to debug within Tauri apps via screenshot capture, window management, DOM access, and simulated user inputs.

Custom formatting for Rust.

An interactive Datalog

pod2 & spec

Lexon Compiler 0.3

Structured concurrency and effects for JavaScript

A very fast and lightweight Typescript library to create immutable states with a mutable syntax

Typesafe distributed computing in TypeScript.

Speedy TypeScript type checker

Zuzalu Passport

A micro-mvc framework for react apps

Async whisper

The web framework for content-driven websites. ⭐️ Star to support our work!

Lunatic is an Erlang-inspired runtime for WebAssembly

Generate responsive pages and apps on HTML, Tailwind, Flutter and SwiftUI.

PHP implementation of the GraphQL specification based on the reference implementation in JavaScript

Virtual-Dom in ClojureScript