robertkleffner/inference-playground robertkleffner/inference-playground

  • Stars
    star
    1
  • Language
    C#
  • Created over 4 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
robertkleffner/inference-playground
github

robertkleffner

Reviews

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

Repository Details

Implementing and combining various type systems with principal type schemes

More Repositories

1

mariohtml5

Infinite Mario in HTML5 JavaScript - using Canvas and Audio elements
JavaScript
471
star
2

wort

A core concatenative programming language with variables and first-rank polymorphic type inference
Racket
27
star
3

enjine

A basic JavaScript game engine for HTML5 compatible browsers.
JavaScript
17
star
4

CaKe

An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
Python
17
star
5

html5-galaxy

The code and demo for my HTML5 & Three.js Galaxy tutorial.
5
star
6

wort-old

A concatenative programming language
JavaScript
4
star
7

sfas

Song for a System
JavaScript
2
star
8

gruit

A typed concatenative programming language
Haskell
1
star
9

barley

A miniature concatenative language with primitives for algebraic effect handlers
Racket
1
star
10

Silvertongue

Collection of custom conlangery tools
Go
1
star
11

boba-old

Concatenative programming language with algebraic effects and rich type inference
Racket
1
star
12

graphlets

Java
1
star
13

neologia

A language for creating and managing dictionaries, suitable for conlangs
Racket
1
star