Pinned Repositories
alfred-margaret
Fast Aho-Corasick string searching
apropos
Propositional Logic Apropos Types
ArcadeGame
Bistromatique-BigInt-library-
Conjugate-Hylomorphisms
Recursion-schemes from adjunctions
disassembler
Disassembler for X86 & AMD64 machine code
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
Irie-lang
Subtyping calculus of inductive constructions
lfvm-stg
Map lazy functional language constructs to LLVM IR
llvm-hs
Haskell bindings for LLVM
jfaure's Repositories
jfaure/Irie-lang
Subtyping calculus of inductive constructions
jfaure/lfvm-stg
Map lazy functional language constructs to LLVM IR
jfaure/alfred-margaret
Fast Aho-Corasick string searching
jfaure/apropos
Propositional Logic Apropos Types
jfaure/ArcadeGame
jfaure/Bistromatique-BigInt-library-
jfaure/Conjugate-Hylomorphisms
Recursion-schemes from adjunctions
jfaure/disassembler
Disassembler for X86 & AMD64 machine code
jfaure/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
jfaure/llvm-hs
Haskell bindings for LLVM
jfaure/nixos
jfaure/OMPEval
Fast C++ poker hand evaluator and equity calculator
jfaure/plutus-simple-model
Unit testing with resource estimation for Plutus
jfaure/pychess-variants
Chess variants server
jfaure/Raycaster
2.5D fps rendering using raycasting on a 2d map
jfaure/recursion-schemes
Generalized bananas, lenses and barbed wire
jfaure/Rubik-s-Cube
3d rubik's cube in Opengl using quaternions
jfaure/Sed