Pinned

1. logic logic Public

   Logic is a predicate logic simulator. It can be used to create automated proof.

   Python

2. PyC PyC Public

   General Purpose Binding between Python & C/C++

   C 1

3. KariLang KariLang Public

   Toy Functional Programming Language

   C

4. py-lua py-lua Public

   Bridge between Python and Lua.

   C 5

5. coder coder Public

   A learning platform to improve your programming skills, build by students for students

   HTML 2

6. Expenses-Recorder-Web Expenses-Recorder-Web Public

   A web application to keep track of personal expenses or a groups expenses.

   Python