Pinned Loading

1. Natural-Language-Query-System Natural-Language-Query-System Public

   Dialogue system that allows you to submit some simple facts and then ask questions about them.

   Python 1

2. Cache-Simulator Cache-Simulator Public

   Parameterized cache simulator that reads a memory address trace and provides statistics about cache accesses and hits in C. The cache could be either unified or split and the cache mapping either d…

   C 1

3. MicroHaskell-Language-Processing-Pipeline MicroHaskell-Language-Processing-Pipeline Public

   Lexer, parser and type-checker for a fragment of the Haskell programming language.

   Java

4. Propositional-Model-Checking-and-Satisfiability Propositional-Model-Checking-and-Satisfiability Public

   Inference procedures using Propositional Logic

   Haskell