An implementation of some of Jacques Lacan's notes on the Purloined Letter in Racket
☆11Feb 22, 2023Updated 3 years ago
Alternatives and similar repositories for lacan-racket
Users that are interested in lacan-racket are comparing it to the libraries listed below
Sorting:
- GTK/Rust based viewer for the Mandelbrot set☆14Feb 20, 2026Updated last week
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated last month
- Add-on gem for creating graphs from AASM state machine definitions☆10Sep 29, 2021Updated 4 years ago
- Core template for full-featured Svelte/Rails/Inertia apps☆34Updated this week
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- a simple synthesizer with WORLD and UTAU voice banks.☆12Feb 1, 2014Updated 12 years ago
- 《法文排版小课堂》中文译本☆10Aug 1, 2025Updated 7 months ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Custom Programming Language w/ Python + LLVM☆12Jan 1, 2025Updated last year
- ☆13Oct 28, 2025Updated 4 months ago
- ☆11Nov 8, 2021Updated 4 years ago
- A package to load environment variable files into emacs☆10May 15, 2018Updated 7 years ago
- Mup music publication program☆13Nov 30, 2024Updated last year
- parsec for nim☆13Jun 22, 2020Updated 5 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- a Lean4 framework for the modeling and refinement of stateful systems☆25Dec 19, 2025Updated 2 months ago
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- Github action to install a specific version of https://dhall-lang.org and run commands☆16Mar 12, 2024Updated last year
- ☆12Oct 1, 2024Updated last year
- Automatic hacking tool for URL regexes.☆11Feb 12, 2021Updated 5 years ago
- the blog "Machine Logic"☆22Feb 26, 2026Updated last week
- Course materials for Chalmers TPIL25 class☆15Feb 13, 2025Updated last year
- A DSL for processing Kafka data streams in pure Erlang☆11Mar 1, 2021Updated 5 years ago
- A scriptable autotuning load generator for MQTT☆18Updated this week
- Emacs major mode for Alloy☆13Jul 14, 2018Updated 7 years ago
- Código de @columnistos y sus hermanas☆12May 14, 2024Updated last year
- Analyzing a Los Angeles city council proposal aiming to limit where homeless people can sleep☆14Mar 20, 2021Updated 4 years ago
- A Unison implementation of the game 2048 that uses the terminal as the user interface.☆15Feb 8, 2021Updated 5 years ago
- HsLua examples. This repository has been archived. See the hslua-examples folder in the main hslua repo for up-to-date examples.☆13Jun 8, 2021Updated 4 years ago
- Control.Effects☆19Apr 14, 2019Updated 6 years ago
- Microservice for decoding images from MangaRock☆14Nov 12, 2018Updated 7 years ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- A notebook on compilers, programming languages, and other topics.☆19Mar 13, 2025Updated 11 months ago
- ☆14Jan 1, 2024Updated 2 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last week
- What if everything is a io_uring?☆17Nov 10, 2022Updated 3 years ago
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- hackertyper clone written in choo☆11Jun 26, 2016Updated 9 years ago