There are no reviews yet. Be the first to send feedback to the community and the maintainers!
WebMonkeys
Massively parallel GPU programming on JavaScript, simple and clean.LJSON
JSON extended with pure functions.Caramel
A modern syntax for the λ-calculus.PureState
The stupidest state management library that works.forall
Expressive static types and invariant checks for JavaScript.abstract-algorithm
Optimal evaluator of λ-calculus terms.Cedille-Core
A minimal proof language.optlam
An optimal function evaluator written in JavaScript.calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.Bitspeak
articles
Thoughts and stuffUrnaCripto
Referendos criptograficamente incorruptíveis.lrs
Linkable Ring Signatures on JavaScript and PureScript.lambda-calculus
A simple, clean and fast implementation of the λ-calculus on JavaScript.heart
heartultimate-calculus
absal-rs
HOC
nano-json-stream-parser
A complete, pure JavaScript, streamed JSON parser in less than 1kb.servify
Microservices in the simplest way conceivable.optimul
Multiplication on optimal λ-calculus reducersparallel_lambda_computer_tests
learning cudanano-ipfs-store
Lightweight library to store and get data to/from IPFSformality-agda-lib-legacy
Agda libraries relevant to Moonadtaemoba
unknown_halting_status
Small programs with unknown halting status.lsign
Quantum-proof, 768-bit signatures for 1-bit messagesreasoning_evals
my reasoning evalsElementary-Affine-Net-legacy
OpenLegends
An open-source MOBA in Rustethereum-offline-signer
Signs an Ethereum transaction from the command line.coc-with-math-prims
idris-mergesort-benchmark
Benchmark of the new Idris JS backenduwuchat2_demo
UwUChat2 demo gameLPU
Vote
nano-persistent-memoizer
Caches a function permanently on browser and node.nano-sha256
Use native Sha256 on both browser and Node.jsReflexScreenWidget
A widget for Haskell-Reflex that renders a dynamic image to a Canvas in realtime.OSX
EthFP
VictorTaelin
ethereum-rpc
ethereum-publisher-dapp
shared-state-machine
Trabalho-IC-UFRJ-2
NeoTaelin
eth-web-tools
Some web Ethereum tools that MyEtherWallet currently lackshvm2
symmetric-interaction-calculus-benchmarks
SIC benchmarkstalks
gpt
agbook
AGDAKind2
Kind refactor based on HVMkind-react-component
Renders a Kind app as a React componentPongFromScratch
A simple tutorial on how to create a ping-pong game from scratchtsbook
sketch_bros
Super Sketch Bros!StupidMinimalistHash
MaiaVictor.github.io
PotS
LamBolt
The ultimate compile target for functional languagesform-login
Um formulário de Login feito com HTML e CSS usando transiçõeswho-loves-voxels
cuda_rewrite_tests
learning cudaluna-lang-old-abandoned-repo
Typed version of Moon-langposts
FPL
A collection of functional JavaScript modules.PassRhyme
something_calculus
moon-bignum
Minimalistic bignum library compiled from Moon-lang.see
See inside JS functionsTrabalho-IC-UFRJ
optimal_evaluation_examples
optimal evaluation examples (DUP nodes, SUP nodes)inferno-hello-world-component
inet
Love Open Source and this site? Check out how you can help us