ebresafegaga/oii ebresafegaga/oii

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ebresafegaga/oii
github

ebresafegaga

Reviews

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

Repository Details

No really, Ocaml is Idris

More Repositories

1

tina

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

Libmacs

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

mini

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

Arg.fs

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

patterns

A workbench for pattern matching exploration
Rust
2
star
6

ebresafegaga.github.io

ebresafegaga.github.io
HTML
1
star
7

miniarm

A simple arm emulator
OCaml
1
star
8

AlgorithmW

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

tc

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

btc

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

aoc

Advent of Code
OCaml
1
star
12

sf

Software Foundations in Coq
Coq
1
star