Andrei Formiga (@tautologico)
github

tautologico

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    96
  • Global Rank 214,022 (Top 8 %)
  • Followers 161
  • Following 16
  • Registered over 15 years ago
  • Most used languages
    OCaml
         43.5 %
    C++
         13.0 %
    C
         8.7 %
    Racket
         8.7 %
    Rust
         8.7 %
    Haskell
         4.3 %
    AGS Script     4.3 %
    TeX
         4.3 %
    Scheme
         4.3 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 3,635
  • Country Ranking
    Racket
         2
    OCaml
         7
    AGS Script     8
    Scheme
         16
    Haskell
         181
    TeX
         318
    Rust
         418
    C++
         599
    C
         716

Top 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

logic

Code related to logic
OCaml
1
star
23

obfc

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

minicc

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

manyuaru

1
star
26

tautologico.github.com

1
star
27

vsupml

Very Simple, Untyped, Probabilistic ML
OCaml
1
star
28

quasi88

Emulator for NEC PC8801 computers
C
1
star