Gaga (@ebresafegaga)
github

ebresafegaga

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    29
  • Global Rank 505,517 (Top 18 %)
  • Followers 44
  • Following 84
  • Registered about 7 years ago
  • Most used languages
    OCaml
         30.8 %
    Rust
         15.4 %
    F#
         15.4 %
    Coq     7.7 %
    Go
         7.7 %
    C#
         7.7 %
    HTML
         7.7 %
    Haskell
         7.7 %
  • Location πŸ‡³πŸ‡¬ Nigeria
  • Country Total Rank 2,361
  • Country Ranking
    Coq     1
    F#
         2
    OCaml
         2
    Haskell
         6
    Rust
         62
    C#
         296
    Go
         297
    HTML
         2,099

Top repositories

1

tina

Tina, a programming language with typed algebraic effects and handlers.
OCaml
9
star
2

oii

No really, Ocaml is Idris
OCaml
5
star
3

Libmacs

A simple linear algebra library. It also has other mathematical functions such as Calculus, Surds, Complex Numbers, and Partial Fractions.
C#
2
star
4

mini

A mini ML like language to be used to in a simple calculator
F#
2
star
5

Arg.fs

A simple Command Line argument parser in F#
F#
2
star
6

patterns

A workbench for pattern matching exploration
Rust
2
star
7

ebresafegaga.github.io

ebresafegaga.github.io
HTML
1
star
8

miniarm

A simple arm emulator
OCaml
1
star
9

AlgorithmW

Hindley-Milner type inference "Algorithm W" in Haskell
Haskell
1
star
10

tc

Simple Compiler/Interpreter for a toy language.
Go
1
star
11

btc

A programming language with a bidirectional type checker
Rust
1
star
12

aoc

Advent of Code
OCaml
1
star
13

sf

Software Foundations in Coq
Coq
1
star