- Cluj-Napoca, Romania
-
02:33
(UTC +03:00) - https://defn.io
- https://orcid.org/0009-0001-7815-4742
- @[email protected]
- @[email protected]
Highlights
- Pro
Stars
A kernel designed to run one and only one application in a virtualized environment
Preprint of GUI Easy paper at FUNARCH 2023
A 2D RPG implemented in the Rhombus Racket dialect
⏺✍️ Write in Lisp + Markdown, publish to multiple formats
A fast-rendering, single-selection, canvas control allowing custom drawing of a filtered, sorted list of items.
Sound and efficient gradual typing via contract verification.
The best experimental economics software built in Racket
Postgres extension and service for automated failover and high-availability
A Racket library for creating structs with contracts, defaults, wrapper functions, etc
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.