🌏 A proposal for translator and language detector APIs

A transparent toot fetcher for Mastodon. Loads missing replies to boosted toots in your feed directly from the source server.

ECMAScript Explicit Resource Management

A proposal to add signals to JavaScript.

💻 🔒 🔑 Secure Boot key manager

A TypeDoc theme that looks just like rustdoc.

S.js - Simple, Clean, Fast Reactive Programming in Javascript

The Arquivolta installer app

Higher kinded polymorphism in a language with unboxed, statically sized datatypes.

Source code for the Mun language and runtime.

A small study in hardware accelerated AoS reversal

🦝 📦 a package registry for anything, but mostly javascript 🦝 🦝 🦝

org-mode parser rewrite in Rust

A fast, bump-allocated virtual DOM library for Rust and WebAssembly.

Abstract over the atomicity of reference-counting pointers in rust

Dependently Typed Lambda Calculus in Haskell

The Red Flag of Functional Programming

A Helm datasource for querying the Idris compiler

Emacs extension to increase selected region by semantic units.

A JavaScript development environment for Emacs

An asynchronous effect monad for PureScript

Watchman for pulp

Rethinking code editing.

Linux kernel packages with Chromebook Pixel 2015 (Samus) support borrowed from Chromium OS

Add swagger compliant documentation to your maru API

A decentralization of GitHub using BitTorrent and Bitcoin

Render interfaces using pure functions and virtual DOM

Elixir RESTful Framework

Erlang Backend for Idris Compiler