A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomo-lang.org/ - same author, very different language; this one's dead.
☆13May 27, 2009Updated 17 years ago
Alternatives and similar repositories for atomo-old
Users that are interested in atomo-old are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Playing with the Go language.☆18Jun 10, 2013Updated 13 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆52Oct 26, 2016Updated 9 years ago
- atomo programming language☆16Oct 26, 2014Updated 11 years ago
- Concatenative Language☆15Aug 15, 2009Updated 17 years ago
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆12Dec 6, 2016Updated 9 years ago
- The Slate programming language☆149Oct 15, 2023Updated 3 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- A Dependently Typed Programming Language☆28Jul 24, 2020Updated 6 years ago
- A dialect of the Kernel programming language.☆28Sep 19, 2011Updated 15 years ago
- MicroSqueak and a bytecode compiler written outside of Squeak that could build the entire image from text files.☆27May 27, 2011Updated 15 years ago
- A dialect of the Kernel programming language, in RPython.☆11Sep 24, 2011Updated 15 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]☆56Mar 7, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An implementation of the Io programming language☆36May 1, 2016Updated 10 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- Moved to aliceml/aliceml☆29May 28, 2014Updated 12 years ago
- Source code accompanying the paper "Leveling Up Dependent Types"☆18Jul 23, 2013Updated 13 years ago
- Mounts as file descriptors are useful☆13May 21, 2021Updated 5 years ago
- SPA client for the PeopleAPI sample☆11Apr 26, 2019Updated 7 years ago
- Another interaction library in pure Ruby.☆14Sep 25, 2016Updated 10 years ago
- utility classes for testing with selenium☆13Sep 21, 2014Updated 12 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SML Parser Combinator Library☆28Apr 30, 2016Updated 10 years ago
- Immutable Linux distribution based on Gentoo, BtrFS, and Cosmic-Desktop.☆14Sep 13, 2026Updated last month
- Ragel-based implementation of Ruby's Array#pack and String#unpack.☆23Jan 30, 2020Updated 6 years ago
- An interpretation of Potion on the Rubinius language platform.☆37Dec 16, 2013Updated 12 years ago
- Vim controls for the OpenCode TUI☆28Updated this week
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- "wc -l" for the impatient, with estimation of total line count as it progresses☆11May 24, 2012Updated 14 years ago
- Terror-based VM.☆17Jun 17, 2012Updated 14 years ago
- a fucking reasonable chat system at last☆14Apr 29, 2017Updated 9 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.
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- WIP Sinatra/AR app to view/analyze heapdumps from Ruby's ObjectSpace.dump_all☆11Jul 6, 2015Updated 11 years ago
- A list of compilers with some metadata.☆12May 31, 2024Updated 2 years ago
- A concatenative, functional programming language and environment written in JavaScript.☆12Jun 11, 2011Updated 15 years ago
- This project has moved to https://github.com/cloudapp/cloudapp.rb☆19Jan 7, 2013Updated 13 years ago
- Compiler and interpreter for a miranda-like functional language in Python.☆12Dec 28, 2011Updated 14 years ago
- Mergeable queues☆19Mar 24, 2015Updated 11 years ago