howell
Follow
-
-
-
-
-
-
-
-
-
syndicate Public
Forked from tonyg/syndicateRacket GNU Lesser General Public License v3.0 UpdatedMar 6, 2025 -
-
ESPN-Fantasy-Football-API Public
Forked from mkreiser/ESPN-Fantasy-Football-APIConnect to ESPN's fantasy football API via this JS API client for web and NodeJS. Available as an npm package.
JavaScript GNU Lesser General Public License v3.0 UpdatedJul 27, 2024 -
-
Comparing-Concurrent-Programs Public
Forked from gamburgm/Comparing-Concurrent-ProgramsRacket UpdatedApr 21, 2023 -
-
-
-
macrotypes Public
Forked from stchang/macrotypesRacket BSD 2-Clause "Simplified" License UpdatedApr 20, 2021 -
macrotypes-projects Public
Forked from stchang/macrotypes-projectsProjects using Turnstile+ and/or the types-as-macros approach to creating typed languages.
Shell UpdatedMar 11, 2020 -
website Public
Forked from nuprl/websiteSource for website at
-
hackett Public
Forked from lexi-lambda/hackettWIP implementation of a Haskell-like Lisp in Racket
Racket ISC License UpdatedJun 1, 2018 -
-
-
-
-
-
-
automata Public
Forked from jeapostrophe/automataautomata - macros to build automata over match patterns
Racket Other UpdatedFeb 17, 2017 -
-
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell UpdatedAug 24, 2016 -
cur Public
Forked from wilbowma/curPowerful meta-programming for powerful types.
Racket BSD 2-Clause "Simplified" License UpdatedMay 9, 2016