Repository Index

An implementation of Python in Common Lisp

• common-lisp
• python
• compiler

Simple Swift interpreter for the Pascal language inspired by the Let’s Build A Simple Interpreter article series.

• interpreter
• lexer
• swift
• pascal-language

C++11 wrapper for the LMDB embedded B+ tree database library.

• lmdb
• cxx

Parallelism for Common Lisp

Elm style FRP library for PureScript

A functional JavaScript library that facilitates currying and point-free programming

• ai-friendly
• composition
• curry
• currying

Open source compiler for your whole ML repo (support python, CUDA C/C++) into sass and cuda binary (which are closed sourced by Nvidia); 3-40% faster than Openai Triton for Neural Network (primarily LLM) based training/inferencing

• compiler
• compiler-backend
• compiler-optimization
• gpu-acceleration

Elm architecture and (V)DOM for OCaml

LMDB for Java

An esoteric programming language built to break LLMs and coding agents.

• benchmark
• esolang
• interpreter
• language

Delphi wrapper for OpenSSL

• cryptography
• delphi
• openssl
• rsa

Bringing the wonders of Elm to the iOS platform

• elm
• ios
• gsoc-2017

Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable

• reactive
• elmish
• fable
• fsharp

:ram: Lisp that compiles to JavaScript in the Ramda way

• lisp
• ramda
• functional
• s-expression

Coroutine-based multithreading library for Delphi

• delphi
• greenlet
• coroutines
• golang

PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.

• php
• url
• parser
• html

Settle promises concurrently and get their fulfillment value or rejection reason with optional limited concurrency

Write CLI-scripts in Elm

• elm
• cli
• script

Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications

• elm
• json-schema
• json
• elixir

Common Lisp (Parenscript) utilities for building web apps in ReactJs

Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)

Generate Elm types, encoders, and decoders from Haskell types

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action