Pinned Repositories
cdt
Eclipse CDT™ C/C++ Development Tools
cdt-parser-demo
a demo of cdt-gcc-parser problem
dive-into-ghc
Some notes on the source code of the Glorious Haskell Compiler
jos-labs
Course labs of MIT 6.828 JOS
libdai
A fork of https://staff.fnwi.uva.nl/j.m.mooij/libDAI/
ministgwasm
A compiler from mini-STG to Wasm (**far from complete**)
opt-prolog
test some opt strategies in porlog
require
A language for inputs with a failure probability.
soot-demo
ToySolver
A simple SAT solver using DPLL algorithm
Neuromancer42's Repositories
Neuromancer42/ministgwasm
A compiler from mini-STG to Wasm (**far from complete**)
Neuromancer42/require
A language for inputs with a failure probability.
Neuromancer42/dive-into-ghc
Some notes on the source code of the Glorious Haskell Compiler
Neuromancer42/jos-labs
Course labs of MIT 6.828 JOS
Neuromancer42/libdai
A fork of https://staff.fnwi.uva.nl/j.m.mooij/libDAI/
Neuromancer42/opt-prolog
test some opt strategies in porlog
Neuromancer42/soot-demo
Neuromancer42/ToySolver
A simple SAT solver using DPLL algorithm
Neuromancer42/cdt
Eclipse CDT™ C/C++ Development Tools
Neuromancer42/cdt-parser-demo
a demo of cdt-gcc-parser problem
Neuromancer42/click
Re-implement TCP/IP in a packet-flow-like view over the Click modular router
Neuromancer42/CompNetLab3-py-asyncio
Neuromancer42/codeql-training
Neuromancer42/fp-course
Functional Programming Course
Neuromancer42/HitchHike
Neuromancer42/MetroController
A simple model of 3-track metro system in UPPAAL
Neuromancer42/monparse
Neuromancer42/neuromancer42.github.io
Neuromancer42/OthelloPrototype
a toy task
Neuromancer42/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Neuromancer42/puellascript
A proof-of-concept Haskell to WebAssembly compiler.
Neuromancer42/Sokoban
A toy porject. Also part of Course CIS194 (http://www.seas.upenn.edu/~cis194/fall16/index.html)
Neuromancer42/spacemacs-coq
A very simple coq layer for spacemacs
Neuromancer42/SVF
Static Value-Flow Analysis Framework for Source Code
Neuromancer42/TeA
test-driven analysis, and analysis-driven testing
Neuromancer42/tea-llvm-codemanager
Neuromancer42/test-bnd
Neuromancer42/tf-gnn-samples
TensorFlow implementations of Graph Neural Networks
Neuromancer42/TreeMiner
an implementation of PrefixESpan algorithm
Neuromancer42/UnifySL