Compiler for the Albatross Language
☆12Sep 29, 2021Updated 4 years ago
Alternatives and similar repositories for albatross
Users that are interested in albatross are comparing it to the libraries listed below
Sorting:
- The legacy CamlDBM library for accessing NDBM/GDBM database files☆12Jul 11, 2024Updated last year
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 5 years ago
- Host and view your Awair data locally☆27Updated this week
- A functional graphics API for programmable GPUs☆48Sep 14, 2015Updated 10 years ago
- Library of Unix effects for Coq.☆23Sep 28, 2019Updated 6 years ago
- An implementation of Functional Reactive Programming☆41Mar 2, 2015Updated 11 years ago
- Alternate Scala XML library☆79May 10, 2024Updated last year
- The OCaml findlib library manager☆38Nov 16, 2024Updated last year
- git mirror of the Munich isabelle hg repository☆131Updated this week
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 years ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆41Jun 27, 2025Updated 8 months ago
- An operating system🧑💻 written using C and Sage☆46May 11, 2024Updated last year
- Homotopy theory in Coq.☆89Mar 26, 2011Updated 14 years ago
- Purge plugin for DNF☆11Nov 29, 2025Updated 3 months ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- A interpreted language called CPound!☆12Aug 26, 2024Updated last year
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Useful library in C to send or receive data using ringbuffers and poll☆10Oct 29, 2019Updated 6 years ago
- ☆15Dec 7, 2022Updated 3 years ago
- KDevelop plugin which provides Ruby language support☆11Feb 13, 2026Updated 2 weeks ago
- Tor relay nearest neighbour ranking☆10Oct 18, 2021Updated 4 years ago
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Transform one-sentence ideas into full movie concepts with AI. Utilizes OpenAI API, integrating ChatGPT for text generation and DALL-E fo…☆13Jan 1, 2025Updated last year
- The Unframework☆24Jan 26, 2012Updated 14 years ago
- Port of Basho's webmachine in scala, A REST-based system for building web applications☆34Dec 20, 2009Updated 16 years ago
- A modded Python interpreter that supports symbolic execution.☆11Aug 23, 2015Updated 10 years ago
- Beginner's Programs I used to learn Languages☆13Jul 11, 2012Updated 13 years ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- Mirror of Apache Click☆15Dec 10, 2018Updated 7 years ago
- A Perl 6 Implementation☆21Mar 5, 2012Updated 14 years ago
- Displays a JSON object as a table☆11Jan 21, 2011Updated 15 years ago
- Fastest Minimalist CoffeeScript/JavaScript CoffeeCup/Handlebars/Mustache template engine.☆46Jan 13, 2013Updated 13 years ago
- From-scratch kernel built to serve web pages☆28Sep 27, 2025Updated 5 months ago
- Wiki For Camlunity☆13Feb 12, 2015Updated 11 years ago
- JavaScript Lint☆26Apr 8, 2022Updated 3 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- ☆12May 23, 2012Updated 13 years ago