Repository Index

:alarm_clock: A lightweight implementation of Promises in Swift

• promise
• swift

An extremely small, intuitive and fast functional utility library for JavaScript

• javascript
• functional
• lightweight
• fast

A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.

Strip console, alert, and debugger statements from JavaScript code

• gulp-plugin
• nodejs
• javascript
• strip

A collection of sweet.js macros that implement ES6 features for ES5

C++20 Microservice Bootstrapping Framework

• threads
• event-loops
• boost
• cpp20

Complete ECMAScript Fifth Edition Implemention in Object Pascal

The reference implementation of orderly: a schema language for JSON.

A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.

A formalization of geometry in Coq based on Tarski's axiom system

• formalization
• coq
• geometry
• tarski-axiom

An implementation of React hooks on top of purescript-react-basic

a re-implementation of the asyncio mainloop on top of Trio

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

• raft
• verdi
• coq
• proof

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.

• javascript-framework
• react-components
• web-components
• dataformsjs

SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).

Yaml parser for Elixir based on native Erlang implementation

Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine

Multi-Paradigm Pipeline Implementation

The Ink language parser and runtime implementation in Lua

• ink
• lua
• narrative
• interactive-fiction

CyclicBarrier golang implementation

• go
• golang
• cyclicbarrier
• cyclicbarrier-golang

Java port of a concurrent trie hash map implementation from the Scala collections library

J2ME implementation in JavaScript

• j2me

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language