krtx/agda-handson krtx/agda-handson

  • Stars
    star
    6
  • Rank 2,486,411 (Top 50 %)
  • Language Agda
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
krtx/agda-handson
github

krtx

Reviews

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

Repository Details

agda handson

More Repositories

1

ws-ocaml

WebSocket server implementation of OCaml
OCaml
14
star
2

lua-parser

Lua parser implemented in OCaml
OCaml
9
star
3

ml-prolog

ML interpreter written in Prolog
Prolog
3
star
4

rust-raytrace

raytrace
Rust
1
star
5

glitch-text

common lisp glitch-text library
Common Lisp
1
star
6

le4a

tiny ml compiler
OCaml
1
star