Beast code in Giters

Sam Caldwell's repositories

prospect_experiments

Language:Racket1 20

prospect_platformer

Language:Racket100

racket-actors

Language:Racket1 20

automata

automata - macros to build automata over match patterns

Language:RacketNOASSERTION030

Comparing-Concurrent-Programs

000

courses

Language:OCaml020

cs4500-f18-fest

Language:Racket010

cur

Powerful meta-programming for powerful types.

Language:RacketBSD-2-Clause020

dist-prog-book

Language:TeXNOASSERTION020

drracket-vim-tool

Vim-like editing for DrRacket

Language:RacketGPL-3.0020

fantasy

Language:Racket000

feature-profile

Feature-specific profiling support for Racket

Language:RacketLGPL-3.0000

fun-with-channels

Language:Racket020

hackett

WIP implementation of a Haskell-like Lisp in Racket

Language:RacketISC000

Hbc

Language:Java020

macrotypes

Language:RacketBSD-2-Clause020

macrotypes-projects

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

Language:Shell010

monitors

Java style monitors for Racket objects

Language:RacketNOASSERTION02 1

neco-ghc

A completion plugin for Haskell, using ghc-mod

Language:VimL020

pi-forall

A demo implementation of a simple dependently-typed language

Language:Haskell020

racket

The Racket repository

Language:Racket000

racket-monitors

Language:Racket030

redex

Language:Racket020

scribble

Language:Racket020

simple-platform-lib

Language:Racket030

statement-on-lambdaconf.github.io

Language:HTML020

syndicate

Language:RacketLGPL-3.0020

syndicate-games

Language:Racket000

vimfiles

configuration and settings for vim

Language:VimL020

website

Source for website at

Language:RacketGPL-2.0020