47,133 repositories indexed
121–144 of 167 · Most stars
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
Julia interface to WebGL using Three-js custom elements and Patchwork.jl
A framework for implementing and certifying impure computations in Coq
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Manifold implementation in Clojurescript
Lisp dialect implemented with Crystal
Implementation of Finger Tree in JavaScript.
Functional Programming for EcmaScript(Javascript)
Simple implementation of the hungry-consumer model in Elixir
Common Interface to ISO Prolog implementations from Common Lisp
An embeddable implementation of the Ngaro Virtual Machine for Go programs
Implementation of sum/option types using QVariant
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Extremely simple Process pooling and task submission in Elixir
A MT940 parser in Rust
An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
cookiestxt implement parser of cookies txt format
Kotlin recursion schemes with Arrow
Javascript recursion schemes compatible with flow-static-land
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
Lazy iterator implementation for Golang
Enhanced query string parser for Erlang