suzanne.soy
  • Joined on 2024-09-06
Typed Racket
Updated 2025-03-25 01:01:01 +00:00
Type inference helper for map with Typed/Racket. Supports afl, un-annotated lambdas and polymorphic functions.
Updated 2025-03-25 01:00:45 +00:00
Type expanders (i.e. type-level functions) for Typed/Racket
Updated 2025-03-25 01:00:34 +00:00
Stronger types for a few Typed Racket operators
Updated 2025-03-25 01:00:14 +00:00
The Ember web client for Travis CI
Updated 2025-03-25 00:59:56 +00:00
Travis CI build charts
Updated 2025-03-25 00:59:35 +00:00
Use Travis CI with Racket
Updated 2025-03-25 00:59:20 +00:00
The public Travis API
Updated 2025-03-25 00:59:11 +00:00
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
Updated 2025-03-25 00:58:57 +00:00
Mirror of http://offog.org/git/tock.git . Tock (translator from occam to C from Kent) is a Haskell-based compiler for occam and related languages.
Updated 2025-03-25 00:58:40 +00:00
Test case for scribble, where the tag prefix within the table of contents does not work.
Updated 2025-03-25 00:58:17 +00:00
A simple table editor in JavaScript
Updated 2025-03-25 00:58:04 +00:00
Website
Updated 2025-03-25 00:57:54 +00:00
Automatic generation of temporary identifiers for racket syntax templates, based on subscripts indices on the identifiers (e.g. generate yᵢ … from xᵢ …)
Updated 2025-03-25 00:57:32 +00:00
Tracking bound syntax pattern variables with syntax-parse
Updated 2025-03-25 00:57:13 +00:00