Stars
The JavaScript / Wasm runtime that powers Cloudflare Workers
macOS and Linux VMs on Apple Silicon to use in CI and other automations
A configuration as code language with rich validation and tooling.
FoundationDB - the open source, distributed, transactional key-value store
The home of the CUE language! Validate and define text-based and dynamic configuration
📁 A file manager / web client for SFTP, S3, FTP, WebDAV, Git, Minio, LDAP, CalDAV, CardDAV, Mysql, Backblaze, ...
A collaborative file sharing and document management platform that scales. Built with Django and React. Opensource alternative to Sharepoint or Google Drive
An open source issue management & help desk solution. A zendesk & jira alternative
🐳 Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.
Simple tunneling reverse proxy with a fast web UI and auto HTTPS. Designed for self-hosters.
Simple and opinionated OpenID Connect server designed for self-hosters
A practical guide to getting started with home manager with flakes and all that 2024 goodness.
General purpose Nix configuration for macOS / NixOS (with starter templates!)
Tunneled Mesh Reverse Proxy Server with Identity and Access Control and Dashboard UI
Lecture notes on univalent foundations of mathematics with Agda
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
A massively parallel, optimal functional runtime in Rust
A functional programming language based on algebraic effect handlers
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
A course search and review platform for McGill University