tangentforks/cweb
donald knuth's literate programming language
Developer Profile
tangentforks
Discovered public repositories for tangentforks in the GitHub catalog.
tangentforks/cKanren
Constraint programming language embedded in Racket
tangentforks/metis
metis theorem prover
tangentforks/yourforth
tangentstorm's yourforth fork
tangentforks/meta-ii
D.V. Schorre's META II metacompiler from 1964
tangentforks/pforth
https://code.google.com/p/pforth/
tangentforks/game-theory-poker
A game-theoretic poker player (written in 2005)
tangentforks/TwoPlusTwoHandEvaluator
2+2 Poker Hand Evaluator library, adjusted to compile on posix machines.
tangentforks/XPokerEval
XPokerEval from the old codingthewheel.com blog
tangentforks/py4d
python for delphi (and free pascal)
tangentforks/espresso
espresso tool for minimizing digitial circuits
tangentforks/piccolo2d.java
piccolo 2d ZUI toolkit for java
tangentforks/org-mode
personal development branch of org-mode, forked from git://orgmode.org/org-mode.git
tangentforks/voc
vishap oberon compiler
tangentforks/catlang
fork of cat from http://cat-language.com/
tangentforks/freepascal-mode
emacs mode for the free pascal compiler
tangentforks/Idris-dev
A Dependently Typed Functional Programming Language
tangentforks/Ivor
A type theory based theorem proving library
tangentforks/genetic-brainfck
A genetic algorithm for generating Brainf*ck programs in Haskell
tangentforks/starflight
some design docs and code samples from Starflight (old DOS space game)
tangentforks/zpl
zpl : an array programming language from the university of washington
tangentforks/turbopascal
Web-based Turbo Pascal compiler.
tangentforks/hope
hope interpreter from http://www.soi.city.ac.uk/~ross/Hope/
tangentforks/j-incunabulum
Public repository.
tangentforks/vanar
fork of mat2's vanar system ( https://www.assembla.com/code/vanar/git/nodes )
tangentforks/astrid
Astrid: Android's #1 Task Management Application
tangentforks/androidMako
an experimental port of the MakoVM for Android
tangentforks/saiwa
repo tracking mat2's work on the saiwa language : http://www.13rhinos.de/saiwa.html
tangentforks/aggpasmod
modernized aggpas, forked from http://sourceforge.net/projects/aggpasmod/
tangentforks/hamper
an irc bot
tangentforks/qnial
This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website restructuring.
tangentforks/PL0-Language-Tools
An implementation of PL/0 including a tree-based interpreter and virtual machine.