For hosting ATS3 and developing CodeDepot
☆19Oct 26, 2026Updated last week
Alternatives and similar repositories for XATSHOME
Users that are interested in XATSHOME are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bootstrapping ATS3☆260Oct 26, 2026Updated last week
- Untyped Multistack Concatenative Calculus☆11Feb 25, 2022Updated 4 years ago
- For supporting template-based programming☆24Updated this week
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- The APGAS library for fault-tolerant distributed programming in Java 8☆12Oct 17, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Experimental functional language☆17Dec 24, 2025Updated 10 months ago
- A formally verified compiler for a simple language with numbers and sums☆29Nov 29, 2020Updated 5 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆19May 29, 2024Updated 2 years ago
- Small core of Roc, for experiments☆26Dec 21, 2024Updated last year
- Todo App implemented in js_of_ocaml☆22Sep 12, 2020Updated 6 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 9 years ago
- Actors.Dart - Building Distributed Applications on the Web Platform☆12Mar 18, 2013Updated 13 years ago
- Erlang implementation of base32 encoding and decoding.☆13Aug 20, 2026Updated 2 months ago
- Example of compiling Pony code to a C library☆10Aug 1, 2017Updated 9 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.
- Source of the "Pony for X" intro to Pony series☆14Oct 4, 2016Updated 10 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 6 years ago
- A wrapper around Python's ctypes for Nim-specific function signatures.☆12Dec 12, 2017Updated 8 years ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated last month
- Chromecast for Dart☆10Apr 27, 2015Updated 11 years ago
- Hashed TimeLock Contracts for Coins/Lotion☆11Oct 21, 2018Updated 8 years ago
- Bistra is a domain-specific language designed to generate high-performance kernels (such as GEMMs, convolutions, etc). The program is des…☆10Mar 8, 2024Updated 2 years ago
- Code for a tutorial on parsing with Menhir☆14Aug 25, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A mini cheat sheet for SPARK 2014 beginners in LaTeX☆10Dec 6, 2017Updated 8 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆71Nov 17, 2025Updated 11 months ago
- ☆64Jan 30, 2026Updated 9 months ago
- Welcome to BuildingControlLib, a Modelica library for modelling and simulation of standardized and non-standardized control functions fro…☆13Jan 19, 2018Updated 8 years ago
- Low-overhead effect management for concrete monads☆38Mar 25, 2022Updated 4 years ago
- Dart useful tools: collections, math, date, etc...☆10Feb 26, 2026Updated 8 months ago
- ☆16Sep 21, 2019Updated 7 years ago
- SillyMUD codebase as a CloudI Service☆12Oct 27, 2023Updated 3 years ago
- Vanilla XCP - Light Counterparty Wallet☆12Jul 12, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- parsec for nim☆13Jun 22, 2020Updated 6 years ago
- Overengineered calculator: Zig + QBE☆13Jul 29, 2026Updated 3 months ago
- ClojureScript library for Ant Design React UI components☆14Jul 31, 2020Updated 6 years ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- Dart native extension library for Rust☆14Jan 15, 2018Updated 8 years ago
- Category Theory☆19Oct 24, 2018Updated 8 years ago