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
70,234 visible repositories in the index
505–528 of 630 · Most stars
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
יון no BS JS
Salesforce Formula Parser implemented in ES2017. Live demo at
Japt 1.4.5, the other JavaScript golfing language
Common Lisp (Parenscript) utilities for building web apps in ReactJs
The repository host gives no description.
Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)
WebAssembly wrapper to simplify fast math coding
Reduce a list of values using promises into a promise for a value
pico sized functional library
A Javascript to PICO-8 Lua transpiler
Swig template compiler for Gulp
A codemod-cli project for converting Ember objects to es6 native classes
:droplet: Publish/Subscribe utility module
Superior Lisp Interactive Mode for Pulsar
Simple and performant utilies using Go generics inspired by JavaScript and Python
Compile JavaScript to Dart so that you can compile it back to JavaScript and run.
Natural 🌿 effect system that fits TypeScript
A Bitcoin Script Interpreter and Debugger in Scala
Node module that is bridged with the Java Hapi HL7 library.
Generalized folds, unfolds, and traversals for fixed point data structures
Translates GDScript code to C#
Wait for any promise to be fulfilled
Function composition