James Faure (jfaure)

jfaure

Geek Repo

Location:Epitech Lyon

Github PK Tool:Github PK Tool

James Faure's repositories

Irie-lang

Subtyping calculus of inductive constructions

Language:HaskellLicense:NOASSERTIONStargazers:50Issues:12Issues:2

lfvm-stg

Map lazy functional language constructs to LLVM IR

Language:HaskellLicense:BSD-3-ClauseStargazers:50Issues:3Issues:1

alfred-margaret

Fast Aho-Corasick string searching

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

apropos

Propositional Logic Apropos Types

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:1Issues:0

Conjugate-Hylomorphisms

Recursion-schemes from adjunctions

Language:HaskellStargazers:0Issues:0Issues:0

disassembler

Disassembler for X86 & AMD64 machine code

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:0Issues:1Issues:0

llvm-hs

Haskell bindings for LLVM

Language:LLVMStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

OMPEval

Fast C++ poker hand evaluator and equity calculator

License:ISCStargazers:0Issues:0Issues:0

plutus-simple-model

Unit testing with resource estimation for Plutus

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

pychess-variants

Chess variants server

Language:TypeScriptLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

Raycaster

2.5D fps rendering using raycasting on a 2d map

Stargazers:0Issues:0Issues:0

recursion-schemes

Generalized bananas, lenses and barbed wire

License:NOASSERTIONStargazers:0Issues:0Issues:0

Rubik-s-Cube

3d rubik's cube in Opengl using quaternions

Language:C++Stargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:1Issues:0