Source for PRL website
☆18Feb 5, 2026Updated 3 weeks ago
Alternatives and similar repositories for website
Users that are interested in website are comparing it to the libraries listed below
Sorting:
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated 2 months ago
- A minimalist web framework for the Racket web-server☆27Mar 10, 2023Updated 2 years ago
- HoLy is simple http library for Racket language☆12Nov 3, 2017Updated 8 years ago
- JSON Schema Adventures☆17Mar 13, 2023Updated 2 years ago
- Scratchpad for racket game stuff.☆32Aug 17, 2020Updated 5 years ago
- An environment variable manager for Racket applications☆17Apr 27, 2023Updated 2 years ago
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 7 months ago
- Embedding of some of SQL into Racket☆34Mar 24, 2022Updated 3 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- adqc - A version of C with verification and resource bounds☆23Oct 4, 2021Updated 4 years ago
- Zig Optimizing Backend☆25Jun 8, 2025Updated 8 months ago
- ☆96Feb 21, 2026Updated last week
- ☆20Feb 21, 2026Updated last week
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 3 years ago
- Ikko language☆26Oct 4, 2020Updated 5 years ago
- Racket to WebAssembly "compiler".☆33Aug 21, 2020Updated 5 years ago
- Racket support for Amazon Web Services.☆80May 22, 2025Updated 9 months ago
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated 3 weeks ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- My adventure into the marvelous world of Web Assembly☆74Aug 3, 2018Updated 7 years ago
- lux - a simple library for creating real-time graphical apps☆30Oct 4, 2021Updated 4 years ago
- ☆37Feb 21, 2026Updated last week
- Learning Racket☆32Jan 12, 2025Updated last year
- Sift client libraries and protocol buffers☆17Updated this week
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- racket-cheat - a cheat sheet for Racket☆37Feb 21, 2026Updated last week
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆15Oct 2, 2025Updated 4 months ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- Powerful, developer-experience centric, blazingly fast and extensible job scheduler and workflow orchestration platform☆25Updated this week
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- ☆15Feb 6, 2026Updated 3 weeks ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34May 21, 2020Updated 5 years ago
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆47Updated this week
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- ☆39Feb 21, 2026Updated last week
- The clickity clackity next-gen terminal.☆21Oct 18, 2025Updated 4 months ago
- Groho (গ্রহ) is a simulator for inter-planetary travel☆12Jul 15, 2020Updated 5 years ago
- Executes a SPIR-V shader/kernel, producing results for given inputs.☆16Feb 21, 2026Updated last week