An esoteric programming language with prefix-free brackets
- esoteric-programming-language
- esolang
- programming-language
Repository Index
47,133 repositories indexed
2,305–2,328 of 2,416 · 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
J2Ada translates a Java valid source code in Ada source code.
Simple .lng File Parser from HandyGames games
- deepl
- javagame
- lng
- parser
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
KiWi binding for D programming language
CHICKEN Scheme bindings to libsodium crypto library
TypeScript multimethods inspired by Clojure multimethods
- clojure
- typescript
- multimethod
- method
A Scala Native wrapper of the LIBPQ C library
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
Haxe externs for simple-peer.
a "compiler" (as in `Mix.compilers`) for Elixir that just runs make
V wrapper of the Chipmunk2D physics library
a V wrapper for the sokol_gp library
Ada bindings for the player robotic platform
C binding generator for OpenGL API's
Ada 2012 bindings for libcanberra
- libcanberra
- ada