cyberglot/typecheckler cyberglot/typecheckler

  • Stars
    star
    4
  • Rank 3,211,808 (Top 65 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created about 1 year ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cyberglot/typecheckler
github

cyberglot

Reviews

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

Repository Details

algebraic typechecking and elaboration of dependent types

More Repositories

1

awesome-answers

Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.
752
star
2

idris2-spacemacs

It may work, use at your own discretion.
Emacs Lisp
5
star
3

hayo-s-in-haskell

Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell
Haskell
2
star
4

typed-lvar

semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.
Agda
1
star
5

learning-plt-redex

Racket
1
star
6

cyberglot

1
star
7

a-journey-towards-unification

unfortunately not a tale about social changes
Haskell
1
star
8

markit

1
star
9

jsq

Metaprogramming JavaScript... in Haskell. A fork of jmacro
Haskell
1
star
10

elmstatic-hyde

CSS
1
star
11

DSLsofMath

Easily navigable DSLsofMath code
Haskell
1
star
12

hands-on-rust

Rust
1
star