stchang/typed-rosette stchang/typed-rosette

  • Stars
    star
    13
  • Rank 1,507,657 (Top 30 %)
  • Language
    Racket
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
stchang/typed-rosette
github

stchang

Reviews

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

Repository Details

An experimental typed version of the Rosette language

More Repositories

1

macrotypes

Racket
133
star
2

graph

Generic graph library and algorithms for Racket.
Racket
58
star
3

parsack

A basic Parsec-like monadic parser combinator library implementation in Racket.
Racket
50
star
4

pasterack

The Racket pastebin.
Racket
30
star
5

mlish

Racket
21
star
6

redis

A redis client for Racket.
Racket
17
star
7

dropbox

Racket bindings for Dropbox API
Racket
14
star
8

generic-bind

Generic bind forms for Racket
Racket
12
star
9

ftree

finger trees in Racket
Racket
9
star
10

macrotypes-projects

Projects using Turnstile+ and/or the types-as-macros approach to creating typed languages.
Shell
8
star
11

lazyprofile-tool

Laziness profiler for Racket
Racket
5
star
12

matcher

extended pattern matcher for Racket
Racket
2
star
13

fsm-lang

#langs for fsm
Racket
2
star
14

snappy

Racket ffi for snappy compression library
Racket
2
star
15

NEU_HOPL_Spring2010

History of Programming Languages Spring 2010
2
star
16

rackparse

Monadic Parser Combinators in Racket
Racket
1
star
17

reader-experiments

experimenting with Racket reader extensions
Racket
1
star
18

views

A basic views implementation for Racket.
Racket
1
star
19

stchang.github.io

JavaScript
1
star
20

raytracer

A basic ray tracer in Racket. Used for experimenting with Racket's generics.
Racket
1
star