tautologico/logic tautologico/logic

  • Stars
    star
    1
  • Language
    OCaml
  • Created over 15 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tautologico/logic
github

tautologico

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Code related to logic

More Repositories

1

paip-ocaml

Code for the book "Paradigms of Artificial Intelligence Programming" in OCaml
OCaml
11
star
2

progfun

Notas e código relacionados à disciplina "Programação Funcional"
Racket
10
star
3

common-src-project

Takeda Toshiya's Common Source Code Project for emulation
C++
10
star
4

ocaml-distrib

Dealing with probability distributions in OCaml
OCaml
8
star
5

opfp

Exemplos de código para o livro OCaml: Programação funcional na prática
OCaml
7
star
6

tree-sitter-racket

Tree-sitter parser for the Racket programming language
C
7
star
7

ocaml-mcmc

Markov Chain Monte Carlo in OCaml
OCaml
7
star
8

intro-comp

Livro para Disciplina "Introdução aos Compiladores"
AGS Script
3
star
9

learning

Miscellaneous code related to machine learning
TeX
3
star
10

bfcwasm

A brainfuck compiler targeting WebAssembly
Scheme
3
star
11

omcc

MiniC compiler written in OCaml
OCaml
3
star
12

rslex

A lexer generator for Rust
Rust
2
star
13

hbfi

brainfuck interpreter written in Haskell
Haskell
2
star
14

vulkan

Test programs and experiments with the Vulkan API
C++
2
star
15

minicalc-rs

Interpretador para a linguagem Minicalc em Rust
Rust
2
star
16

emacs

General emacs code and customization
2
star
17

reinflearn

Miscellaneous code related to reinforcement learning
OCaml
2
star
18

drracket-zenburn

Zenburn colorscheme for DrRacket
Racket
1
star
19

dsalgo

Random collection of algorithm & data structure implementations
OCaml
1
star
20

bf.net

brainfuck compiler generating .NET code
1
star
21

site

Site pessoal
1
star
22

obfc

brainfuck compiler (written in OCaml), generates C code
OCaml
1
star
23

minicc

Compilador MiniC escrito em C++ com LLVM
C++
1
star
24

manyuaru

1
star
25

tautologico.github.com

1
star
26

vsupml

Very Simple, Untyped, Probabilistic ML
OCaml
1
star
27

quasi88

Emulator for NEC PC8801 computers
C
1
star