An esoteric programming language with prefix-free brackets
- esoteric-programming-language
- esolang
- programming-language
Repository Index
56,139 visible repositories in the index
1,177–1,200 of 1,221 · Most stars
Extra contribution for mathcomp
- theorem-proving
- primality-test
- matroid
- rsa-algorithm
Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2
A production-quality expert-system shell, written in thoroughly modern Common Lisp.
Ada Windows POSIX binding
A Latin-themed esoteric programming language where source code reads as prayer
- brainfuck
- c
- esolang
- esoteric-language
A dynamic binding to OpenGLES for the D Programming Language.
A dynamic binding to the PhysicsFS library for the D Programming Language.
This is a demo WASM Blazor application. You can test regular C# expressions in your browser.
- netcore
- blazor
- blazor-webassembly
TypeScript multimethods inspired by Clojure multimethods
- clojure
- typescript
- multimethod
- method
Vala bindings for libcmark, the CommonMark parsing and rendering library in C
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
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
Formal proof in Coq of Puiseux's Theorem.
A GraphQL parser for python
A Parenscript to Javascript command line compiler and interpreter.
A dynamic binding to the ALURE library for the D Programming Language.
Dynamic bindings to libvorbis for the D Programming Language.
A queue-esque data type for purescript.
- handler
- purescript
- async
- purescript-queue
Scala Native bindings for GStreamer
- scala-native
- gstreamer
Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)
- bytecode
- cfr
- decompilation
- decompiler
Calixir is a port of the Lisp calendar software calendrica-4.0 to Elixir.
A dynamic binding to libtheora for the D Programming Language.