ezrosent/TAPL-idris ezrosent/TAPL-idris

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Idris
  • License
    MIT License
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ezrosent/TAPL-idris
github

ezrosent

Reviews

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

Repository Details

Examples of some TAPL examples in the idris language

More Repositories

1

frawk

an efficient awk-like language
Rust
1,252
star
2

allocators-rs

Allocators in Rust
Rust
304
star
3

art-rs

Adaptive Radix Tree in Rust
Rust
55
star
4

wf_hash_writeup

Writeup of wait-free hash table design
TeX
6
star
5

FLK-Semantics

Writing out small-step and big-step operational semantics for the FLK language in Idris
Idris
5
star
6

equirecursive-golang

Brief demonstration of Go's inclusion of (equi)recursive types
Go
3
star
7

RuSTM

software transactional memory for rust-lang
Rust
3
star
8

regen

Compile-time regular expression parsing for go-lang.
Go
2
star
9

s-explore

Semantics Exploration
Haskell
2
star
10

lock-comonad

Toying around with representing locks and scoping rules as indexed (co)monads in Haskell.
Haskell
1
star
11

normalization-system-f-notes

Notes around strong normalization for system f.
1
star