Pinned

1. hezarfen Public

   a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

   Idris 115 2

2. proof-tree-builder/proof-tree-builder.github.io Public

   A web-based graphical proof assistant for LK and Hoare logic.

   JavaScript 15 2

3. dilacar Public

   A rule-based machine translation system from Ottoman Turkish to Modern Turkish.

   TeX 13 2

4. WangsAlgorithm Public

   A classical propositional theorem prover in Haskell, using Wang's Algorithm.

   Haskell 34 2

5. herbrand-prolog Public

   A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

   Haskell 4 1

6. latex-unicoder.vim Public

   A plugin to type Unicode chars in Vim, using their LaTeX names.

   Vim script 78 14