sciolizer/simpler-easier sciolizer/simpler-easier

  • Stars
    star
    1
  • Language
    Haskell
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sciolizer/simpler-easier
github

sciolizer

Reviews

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

Repository Details

Miniature dependently typed language from augustss's blog

More Repositories

1

maru-annotated

A clone of Piumarta's Maru 1.0, with some comments added for my own understanding
Common Lisp
6
star
2

craftinomicon

Bukkit plugin for showing crafting recipes
Java
4
star
3

undefineditor

Editor for haskell source code
Haskell
3
star
4

abstract-interpretation-couset-couset

A modern "translation" of Cousot and Cousot's original paper on abstract interpretation (1977)
Haskell
2
star
5

everywhere-purescript

Examples of how to run a purescript program in various environments
C
2
star
6

zendo

Variation of the inductive logic game
Haskell
1
star
7

lazy-interpreter

Proof of concept lazy interpreter
Haskell
1
star
8

constraint-solver-js

An extensible finite-domain constraint solver
LiveScript
1
star
9

rainbow

Proof of concept open-ended incremental game
1
star