A programming language with a first-class environment
Updated 2025-03-25 01:47:14 +00:00
#lang programming language for Racket with first-class environments
Updated 2025-03-25 01:45:05 +00:00
Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share your research sources.
Updated 2025-03-25 01:05:05 +00:00
XternalApps workbench for FreeCAD
Updated 2025-03-25 01:04:30 +00:00
Fancy lists, to be used as a type or match pattern.
Updated 2025-03-25 01:04:10 +00:00
Updated 2025-03-25 01:03:47 +00:00
Tool utility to create Points (mid points, center of circle, center of object(s)...), Axes (from 2 points, Normal of a plane...), Planes (from 3 points, from one axis and a point...) and many other useful features to facilitate the creation of your project. This utility is up next in the combo view with "Work Features" label.
Updated 2025-03-25 01:03:29 +00:00
If Donald Knuth had designed Wikipedia
Updated 2025-03-25 01:03:11 +00:00
nodejs ZIM file creator (adjusted to make a static version of my wiki)
Updated 2025-03-25 01:02:47 +00:00
Tools used to make a static version of wiki.gruntnetwork.com
Updated 2025-03-25 01:02:34 +00:00
Whalesong: Racket to JavaScript compiler
Updated 2025-03-25 01:02:22 +00:00
A repository with installation scripts for wayfire
Updated 2025-03-25 01:02:08 +00:00
Some variant implementations of the Union-Find algorithm
Updated 2025-03-25 01:01:55 +00:00
A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.
Updated 2025-03-25 01:01:44 +00:00
Makes a small subset of struct type properties available in Typed/Racket. The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.
Updated 2025-03-25 01:01:31 +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