Repository Index

Run .NET and Node.js code in-process on Windows, MacOS, and Linux

jank is the native Clojure dialect with seamless C++ interop.

• functional-programming
• compiler
• clojure
• language

Rembulan, an implementation of Lua 5.3 for the Java Virtual Machine

Common Lisp port of the Django templating language

• template-engine
• html-template
• lisp
• common-lisp

GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper

• glfw
• cpp
• cpp17
• wrapper

Type-safe library for building parallel applications, built on top of Async's Rpc module.

An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm