James Faure's repositories
alfred-margaret
Fast Aho-Corasick string searching
apropos
Propositional Logic Apropos Types
Language:HaskellApache-2.0000
Conjugate-Hylomorphisms
Recursion-schemes from adjunctions
Language:Haskell000
disassembler
Disassembler for X86 & AMD64 machine code
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
OMPEval
Fast C++ poker hand evaluator and equity calculator
Language:C++ISC000
plutus-simple-model
Unit testing with resource estimation for Plutus
Language:HaskellBSD-3-Clause000
pychess-variants
Chess variants server
Language:TypeScriptAGPL-3.0000
recursion-schemes
Generalized bananas, lenses and barbed wire
Language:HaskellNOASSERTION000
Rubik-s-Cube
3d rubik's cube in Opengl using quaternions