Solving the mini Rubik (2x2) in Coq
- theorem-proving
- formalization
- rubik-cube
- 2x2x2
Repository Index
47,133 repositories indexed
2,137–2,160 of 2,235 · Most stars
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
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 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing
Formal proof in Coq of Puiseux's Theorem.
Ruby bindings to Hunspell 1.2.x with iconv support