Popular repositories Loading

1. MinitriangleCompiler MinitriangleCompiler Public

   This is a C# version of the Triangle Tools (compiler, disassembler and interpreter) used in the textbook: "Programming Language Processors in Java" by D.A. Watt and D.F. Brown, Pearson (2000).

   C# 2 2

2. SimpleNeuralNetwork SimpleNeuralNetwork Public

   Implementation of the paper "Pencil-and-Paper Neural Networks: An Undergraduate Laboratory Exercise in Computational Neuroscience"

   Java 1

3. MultithreadedServer MultithreadedServer Public

   Multithreaded Server implemented in core java to test concurrency.

   Java

4. MapSystem MapSystem Public

   Node based Map system.

   JavaScript

5. DeepQA DeepQA Public

   Forked from Conchylicultor/DeepQA

   My tensorflow implementation of "A neural conversational model", a Deep learning based chatbot

   Python

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml