ebresafegaga/tc ebresafegaga/tc

  • Stars
    star
    1
  • Language
    Go
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ebresafegaga/tc
github

ebresafegaga

Reviews

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

Repository Details

Simple Compiler/Interpreter for a toy language.

More 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

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