Rolph Recto's repositories
miniml-compiler
A compiler for the MiniML language described in Appel's Compiling with Continuations
zero-engine-4
2D game engine
99_haskell_problems
H-99: 99 Haskell Problems solutions
backtrack-sudoku
a backtracking sudoku solver with constraint propagation
build-resume
Builds resumes using LaTeX templates
cs6161-project
CS 6161 (Graduate Algorithms) final project
decision-tree
An implementation of a decision tree classifier
django_project_template
Django project template, with Heroku production environment
django_utils
Django utilities
fp-practice
Slides and code for functional programming practice session
inference
logical inference algorithms
interview-practice
code for practicing interviews
lambda_calc
Lambda Calculus evaluator
learn-prolog
Some programs I wrote while learning Prolog
liquid-faultlocal
Fault localization for Liquid Haskell
liquid-fixpoint
Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
liquid-haskell-fault-local
Liquid Haskell fault localization example
liquidhaskell
Liquid Types For Haskell
markov-text
Markov text generator
randomAlgos
a repository of random algorithms
scummvm
ScummVM main repository
stochastic-process
simulations of various stochastic processes
sympy
A computer algebra system written in pure Python
type-systems
Implementations of various type systems in OCaml.