tautologico/mukanren-ocaml
microKanren implementation in OCaml
Developer Profile
tautologico
Discovered public repositories for tautologico in the GitHub catalog.
tautologico/minikanren-ocaml
An implementation of miniKanren in ocaml
tautologico/stog-mdown
Markdown plugin for stog that does direct translation of the markup
tautologico/site-stog
Site using stog
tautologico/opfp
Exemplos de código para o livro OCaml: Programação funcional na prática
tautologico/semtypes
Semantics and type systems
tautologico/okasaki
Data Structures from Okasaki's book, in OCaml
tautologico/matlib
Linear algebra library for OCaml
tautologico/ocaml-opencl
OCaml bindings for openCL
tautologico/matmult
Matrix multiplication implementations and benchmarks
tautologico/site-hakyll
Personal site using Hakyll
tautologico/intro-comp
Livro para Disciplina "Introdução aos Compiladores"
tautologico/rslex
A lexer generator for Rust
tautologico/CGRASP.jl
Continuous Greedy Randomized Adaptive Search Procedure (CGRASP) in Julia
tautologico/ocaml-mcmc
Markov Chain Monte Carlo in OCaml
tautologico/ocaml-distrib
Dealing with probability distributions in OCaml
tautologico/vsupml
Very Simple, Untyped, Probabilistic ML
tautologico/learning
Miscellaneous code related to machine learning
tautologico/reinflearn
Miscellaneous code related to reinforcement learning
tautologico/linguist
Language Savant
tautologico/site
Site pessoal
tautologico/obfc
brainfuck compiler (written in OCaml), generates C code
tautologico/bf.net
brainfuck compiler generating .NET code
tautologico/tautologico.github.com
Public repository.
tautologico/paip-ocaml
Code for the book "Paradigms of Artificial Intelligence Programming" in OCaml
tautologico/hbfi
brainfuck interpreter written in Haskell
tautologico/dsalgo
Random collection of algorithm & data structure implementations
tautologico/omcc
MiniC compiler written in OCaml
tautologico/logic
Code related to logic
tautologico/emacs
General emacs code and customization