Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Repository Index
47,133 repositories indexed
721–744 of 1,006 · Most stars
A native Selenium WebDriver binding for ColdFusion
- coldfusion
- lucee
- railo
- selenium
יון no BS JS
Experimental Malfunction backend for Idris
ImGui Binding for FreePascal / Delphi with the latest version & docking
- freepascal
- imgui
- imgui-binding
- opengl3
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
The repository host gives no description.
Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.
- java-bytecode
- invokedynamic
- java
- jvm-bytecode
A setf like macro for functional programming
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
pico sized functional library
- javascript-array
- functional-programming
- javascript
- es6
Functional programming in Groovy
Raylib binds to elixir for programming games
- raylib
- elixir
- bindings
- audio
Cl-coroutine is a coroutine library for Common Lisp. It uses cl-cont continuations library in its implementation.
A total recursion scheme library for Dhall
- dhall
- recursion-schemes
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.
Superior Lisp Interactive Mode for Pulsar
- common-lisp
- atom
- repl
- pulsar-package