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
78,850 visible repositories in the index
745–768 of 970 · Most stars
Experimental Malfunction backend for Idris
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
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
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
Cl-coroutine is a coroutine library for Common Lisp. It uses cl-cont continuations library in its implementation.
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
Machine Learning & Data Mining with JRuby
- machine-learning
- ruby
- jruby
- weka
a tool for handling file uploads simple
- file
- upload
- multipart
- http
An elixir module for parallel execution of functions/processes
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it
- goroutine
- crontab
- job-scheduler
- retry
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
The repository host gives no description.
JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.