denis631

MongoDBMunich, Germany

Pinned Repositories

-Hackerrank-BrainF__k-interpreter
Language:Clojure0 2 00
.doom.d
My configuration for doom emacs
Language:Emacs Lisp0 2 00
analyzer
The goblint static analysis framework
Language:OCaml0 1 00
BerrySethi-RegexEngine
Language:Clojure0 2 00
chord-dht
Language:Scala3 2 00
follower-maze
Language:Scala0 2 00
IMLAB
Language:C++2 2 00
LegoDB
Language:OCaml1 2 00
llvm-lab
Language:C++0 2 00
Query-Compilation-CodeGen-with-Terra
Language:Terra1 2 00

denis631's Repositories

denis631/chord-dht
Language:Scala3 2 00
denis631/IMLAB
Language:C++2 2 00
denis631/LegoDB
Language:OCaml1 2 00
denis631/Query-Compilation-CodeGen-with-Terra
Language:Terra1 2 00
denis631/-Hackerrank-BrainF__k-interpreter
Language:Clojure0 2 00
denis631/.doom.d
My configuration for doom emacs
Language:Emacs Lisp0 2 00
denis631/analyzer
The goblint static analysis framework
Language:OCaml0 1 00
denis631/BerrySethi-RegexEngine
Language:Clojure0 2 00
denis631/follower-maze
Language:Scala0 2 00
denis631/llvm-lab
Language:C++0 2 00
denis631/p2p-project-registration
Language:Scala2 0
denis631/remacs
Rust :heart: Emacs
Language:Emacs Lisp1 0
denis631/simdcsv
A fast SIMD parser for CSV files
Language:C++0 0