An idiomatic, lean, fast & safe pure Rust implementation of Git

Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK

Pelias is a modular open-source geocoder using Elasticsearch.

Draw what you see, and guess what your friends drew

Pure Nix flake utility functions [maintainer=@zimbatm]

Open source VPU side bootloader for Raspberry Pi.

📖 React frontend to parabible.com (cf. https://github.com/parabible/parabible-server): an intuitive way to do serious Bible study in original languages.

duraconf - A collection of hardened configuration files for SSL/TLS services

Dynamic DNS service

document processor in Racket

org-mode parser rewrite in Rust

The online tikkun you always wanted, but never had.

My system configuration

A modern editor with a backend written in Rust.

Examples of Dependently-typed programs in Haskell

Scripts for working with Nix via a chroot on ChromeOS.

Resumes generated using the GitHub informations

Nix Packages collection & NixOS

💌 An extensible desktop mail app built on the modern web. Forks welcome!

Vim-fork focused on extensibility and usability

API Documentation Browser

Markdown parser, done right. Commonmark support, extensions, syntax plugins, high speed - all in one. Gulp and metalsmith plugins available. Used by Facebook, Docusaurus and many others! Use https:…

Chromium OS Universal Chroot Environment (EOL)

Quill is a modern WYSIWYG editor built for compatibility and extensibility

Package manager for Chrome OS