Repository Index

Pipelines using goroutines

• pipeline
• go
• concurrency

Generalized folds, unfolds, and traversals for fixed point data structures

Swift Parser Combinators

• parser
• parser-combinators
• swift

CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.

Translates GDScript code to C#

• godot
• godot-engine
• tool
• gdscript

Foundational Cryptography Framework for machine-checked proofs of cryptography.

Macro for tapping into a pattern match while using the pipe operator

Extensible event loop and async-oriented IO for Scala Native; powered by libuv

Common Lisp CFFI wrapper around the DuckDB C API

• c-bindings
• common-lisp
• duckdb
• lisp

A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.

• lisp
• common-lisp
• generics
• polymorphic-functions

CFFI based alternative to py4cl2

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

ABNF in, parser out

• abnf
• parsing
• parser-generator
• elixir

Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code

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.

• scala
• dfa
• regular-expression
• regular-expression-engine

Julia interface to WebGL using Three-js custom elements and Patchwork.jl

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

• f-sharp
• parser
• combinator
• library

Creates a system where users are forced to login in dedicated independent docker containers.

• docker
• docker-image
• virtual-machine
• multiuser

Natural language generation language

• natural-language-generation
• nlg

Permutations and permutation groups in Common Lisp.

• permutations
• permutation-groups
• permutation-algorithms
• lisp

Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL

Generate Yew components from React components via Typescript type definitions

• yew
• proc-macro
• react
• typescript

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Fast YAML native library for Erlang / Elixir

• libyaml
• yaml
• libyaml-library
• erlang