Little Racket Interpreter
☆16Mar 21, 2020Updated 6 years ago
Alternatives and similar repositories for Little-Racket
Users that are interested in Little-Racket are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- A full feaured Java-based template engine for Play2☆57Jul 3, 2014Updated 11 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Nov 14, 2018Updated 7 years ago
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 9 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 5 months ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- Scala 3 Standard Library with bracket syntax.☆11Jul 10, 2021Updated 4 years ago
- Dynamically add Constructable Stylesheets to your Stencil components.☆10Jul 6, 2023Updated 2 years ago
- GAT562 Family☆24Jan 27, 2026Updated 2 months ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 7 years ago
- Simple Virtual Machine written in Haskell☆28May 10, 2014Updated 11 years ago
- Validate untyped data and return well typed result.☆21Oct 26, 2024Updated last year
- miniKanren in Pharo☆11Jun 10, 2024Updated last year
- Idris GraphQL☆17Dec 16, 2017Updated 8 years ago
- 自动续粉丝荧光棒☆10Mar 23, 2020Updated 6 years ago
- 珠玑者算机语也☆37Feb 18, 2016Updated 10 years ago
- A teaching aid library for formal languages and compiler courses☆13May 23, 2025Updated 10 months ago
- Swoole Http Server Without Framework☆16May 24, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Measure performance in calculating cosine similarity: C, C++, Go, Python, Perl and Oberon2.☆14Jul 11, 2023Updated 2 years ago
- Stack Lang - stack based programming language☆11Dec 31, 2024Updated last year
- Arm (Thumb2) Linux Forth Compiler☆17Sep 26, 2020Updated 5 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- ☆11Aug 11, 2016Updated 9 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆17Jul 11, 2023Updated 2 years ago
- Automatically press Ctrl+S for SAI. | 请点击下方的release跳至下载页。☆23Feb 13, 2017Updated 9 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- A demo for hexo-theme-book.☆10Oct 10, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Linux X86_32 Fortth compiler. Formerly known as IsForth.☆18Mar 6, 2025Updated last year
- A Scheme interpreter base on R5RS specification.☆53Apr 3, 2020Updated 6 years ago
- spec for defining "scuttlebutt" as a living changing protocol☆28Jun 30, 2019Updated 6 years ago
- Files for the xlib tutorial at https://handmade.network/wiki/2834-tutorial_a_tour_through_xlib_and_related_technologies☆16Jan 7, 2018Updated 8 years ago
- A JSON library for Chez Scheme☆15Jul 18, 2017Updated 8 years ago
- Brand logos detection☆13Nov 8, 2018Updated 7 years ago
- X-Ray - PHP Engine compiler hook API (new)☆22Jul 1, 2018Updated 7 years ago