Repository Index

OCaml library for forking child processes to perform work on multiple cores

Implementation of a brainfuck interpreter written for the Game Boy.

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal

A Simple DSL to create Directory Tree with Text Files

• groovy
• dsl
• jvm
• directory

High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.

Bindings for iOS and Android on Xamarin projects with sample code.

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

• coq
• mathcomp
• modal-logics
• ctl

A library that wraps OpenSSL, but also has pure Julia implementations for reference.

Adds pledge(2) to crystal.

• crystal
• crystal-language
• shards
• openbsd

Hands is a process controller used to control the execution and return strategies of multiple goroutines.

Implementation of the Rendezvous or Highest Random Weight (HRW) hashing algorithm in the Elixir Programming Language

• elixir
• elixir-lang
• distributed-systems
• hashing-algorithm

Implementing promises in Ada. Type-safe, efficient, thread-safe, ...

Formally verified implementation of the CoAP protocol in SPARK/Ada

• ada
• coap
• formal-verification
• spark-ada

Tiny simple blocking queue in erlang

A reimplementation of the FIRST Robotics WPILib libraries in Scala for Scala Native support

A Turing-complete programming language with only one symbol: "."

Bindings and implementation for mutable JavaScript ArrayBuffers.

Ni is a small esoteric programming language turing complete, cell based, like brainfuck.

• esoteric-programming-language
• esoteric-language
• esoteric-interpreter
• esoteric-languages

RASEL (Random Access Stack Esoteric Language) reference implementation

• programming-language
• esoteric-language
• esolang
• stack-based-language

Native V-lang implementation of Rosie-RPL. Rosie is a pattern language (RPL for short). A little bit like regex, but aiming to solve several of the regex issues.

• rosie
• vlang
• vlang-module
• rpl

(almost) Fully functional GraphQL request parser written completely using TypeScript's typing system

A simple function to curry a function with an arbitrary number of arguments.

Haskell list functions implemented in v lang

• hacktoberfest
• haskell
• v
• vlang