Andrei Formiga (@tautologico)
  • Stars
    star
    95
  • Global Rank 211,312 (Top 8 %)
  • Followers 161
  • Following 16
  • Registered over 15 years ago
  • Most used languages
    OCaml
    43.5 %
    C++
    13.0 %
    Rust
    8.7 %
    C
    8.7 %
    Racket
    8.7 %
    Scheme
    4.3 %
    Haskell
    4.3 %
    AGS Script
    4.3 %
    TeX
    4.3 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 3,635
  • Country Ranking
    Racket
    2
    AGS Script
    7
    OCaml
    7
    Scheme
    16
    Haskell
    145
    TeX
    284
    Rust
    370
    C++
    604
    C
    760

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++
9
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

bf.net

brainfuck compiler generating .NET code
1
star
20

dsalgo

Random collection of algorithm & data structure implementations
OCaml
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