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:
- Chyrp's site. Powered by Chyrp.☆14Jan 24, 2010Updated 16 years ago
- atomo programming language☆16Oct 26, 2014Updated 12 years ago
- a modular, macro-ular, totally tubular language for the Rubinius VM. #atomo @ freenode☆52Oct 26, 2016Updated 10 years ago
- explore concatenative combinators☆12Jan 4, 2010Updated 16 years ago
- Playing with the Go language.☆18Jun 10, 2013Updated 13 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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
- The Slate programming language☆149Oct 15, 2023Updated 3 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- A Dependently Typed Programming Language☆28Jul 24, 2020Updated 6 years ago
- Validations for Ruby on Rails that fail when the user enters profane, vulgar, sexual, or racist/offensive content. Customizable to match …☆19Jun 22, 2011Updated 15 years ago
- A list of various bounties for things people can develop in Ruby for pay (open source bounty)☆22Oct 9, 2009Updated 17 years ago
- Dependency injection via delimited continuations☆13Mar 13, 2014Updated 12 years ago
- A dialect of the Kernel programming language.☆28Sep 19, 2011Updated 15 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A very simple implementation of a little dependently typed language☆11Aug 30, 2012Updated 14 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
- An implementation of the Io programming language☆36May 1, 2016Updated 10 years ago
- A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]☆56Mar 7, 2013Updated 13 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An interpretation of Potion on the Rubinius language platform.☆37Dec 16, 2013Updated 12 years ago
- DIL is a hand-written compiler for the D programming language.☆49Mar 24, 2019Updated 7 years ago
- A language and tool for relational models☆12Jul 20, 2017Updated 9 years ago
- A Parser Generator and Metacompiler☆11Feb 8, 2013Updated 13 years ago
- Ragel-based implementation of Ruby's Array#pack and String#unpack.☆23Jan 30, 2020Updated 6 years ago
- Another interaction library in pure Ruby.☆14Sep 25, 2016Updated 10 years ago
- An object-oriented programming language that thinks functionally☆10Mar 23, 2026Updated 7 months ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- Moved to aliceml/aliceml☆29May 28, 2014Updated 12 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.
- Terror-based VM.☆17Jun 17, 2012Updated 14 years ago
- 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
- Mergeable queues☆19Mar 24, 2015Updated 11 years ago
- A list of compilers with some metadata.☆12May 31, 2024Updated 2 years ago
- Making the world safe for objects☆14Jan 14, 2014Updated 12 years ago
- ☆12May 10, 2017Updated 9 years ago
Are these results useful?