Repository Index

Fast LZMA2 Wrapper for .NET

• compression
• dotnet
• lzma2
• nuget

Racket to JavaScript Compiler

Migrate your active record migrations to ecto compatible migrations

HTPL is a programming language based on HTML

• programming-language
• htpl-compiler
• html

Static & dynamic D bindings to the CSFML library, compatible with BetterC, @nogc, and nothrow.

• bindbc
• csfml
• dlang
• sfml

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

• coq
• mathcomp
• modal-logics
• ctl

Static & dynamic D bindings to OpenAL, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• openal
• openal-soft

Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)

• binary
• compiler
• runtime
• csharp

Chameleon template compiler for pyramid

MLIR Toolkit in Elixir and Zig.

• elixir
• gpu
• mlir
• compiler

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

Ada binding for liblzma compression library

• lzma
• ada
• compression

Static & dynamic D bindings to FreeImage, compatible with BetterC, @nogc, and nothrow.

• bindbc
• dlang
• freeimage

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

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

Go date utilities inspired by date-fns. Timezone-aware, WebAssembly-compatible, with comprehensive test coverage.

Single-header C++ JIT compiler/evaluator for mathematical expressions

• expression-evaluator
• expression-parser
• formula-engine
• formula-evaluator

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

Docker images of coq-mathcomp [maintainer=?]

• docker-image
• dockerfile
• opam
• coq

ES6 arrow functions compiled to ES5 compliant code.

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

a "compiler" (as in `Mix.compilers`) for Elixir that just runs make

A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.

A Parenscript to Javascript command line compiler and interpreter.