PolyB

Pinned Repositories

ale
Asynchronous linting/fixing for Vim and Language Server Protocol (LSP) integration
Language:Vim Script0 2 00
EXP-cpp-jit
[EXPERIMENTAL][C++ TEMPLATES][POC] Building jitted code at compile-time with c++ templates
Language:C++3 2 00
jit-llvm-libjit
Compare llvm and libjit with a brainfuck interpreter
Language:C++1 3 00
kvm
using linux KVM subsystem in Haskell using MonadTransformers
Language:Haskell6 4 00
LeanPythonRaw
Raw Lean4 bindings to python C-API
Language:C++10
toy-bootloader
a toy bootloader
Language:C20

PolyB's Repositories

PolyB/kvm
using linux KVM subsystem in Haskell using MonadTransformers
Language:Haskell6 4 00
PolyB/EXP-cpp-jit
[EXPERIMENTAL][C++ TEMPLATES][POC] Building jitted code at compile-time with c++ templates
Language:C++3 2 00
PolyB/toy-bootloader
a toy bootloader
Language:C20
PolyB/jit-llvm-libjit
Compare llvm and libjit with a brainfuck interpreter
Language:C++1 3 00
PolyB/LeanPythonRaw
Raw Lean4 bindings to python C-API
Language:C++10
PolyB/ale
Asynchronous linting/fixing for Vim and Language Server Protocol (LSP) integration
Language:Vim Script0 2 00
PolyB/coquille
Interactive theorem proving with Coq in vim.
Language:Vim script
PolyB/EXP-cpp-brainfuck-compiletime
[EXPERIMENTAL][C++ TEMPLATES] interpreting brainfuck at compiletime without constexpr
Language:C++
PolyB/lean-tests
Some random proofs using the LEAN theorem prover
Language:Lean
PolyB/ManifoldGarden-ASL
Language:ASL
PolyB/parallel-trie
A fast implementation of dictionnary lookup using a trie
Language:C++
PolyB/tiger-haskell
a tiger interpreter in haskell
Language:Haskell
PolyB/turbolink-libraries
Unreal Engine compatibile gRPC libraries