The ADUni course material, and extra info.
☆15Sep 17, 2011Updated 15 years ago
Alternatives and similar repositories for aduni
Users that are interested in aduni are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zero Knowledge LANGuage in OCaml☆12Jul 15, 2024Updated 2 years ago
- CS544 - Enterprise Architecture Examples☆10Nov 1, 2017Updated 8 years ago
- A curated list of anything releated to linguistics☆13Sep 12, 2023Updated 3 years ago
- A curated list of resources on the science of learning anything☆35Dec 17, 2024Updated last year
- Open source F# mathematical logic library.☆13May 16, 2022Updated 4 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.
- model checking samples☆17Oct 18, 2021Updated 5 years ago
- ☆15Updated this week
- could it be?☆18Jul 11, 2025Updated last year
- Triagonal Icon Editor (Om Demo)☆12Dec 23, 2013Updated 12 years ago
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 7 months ago
- Resources, activity, discussions for Wagtail’s participation to Outreachy☆21Feb 6, 2024Updated 2 years ago
- Does the F stand for Functional? You decide.☆10Jan 3, 2013Updated 13 years ago
- A geometrical compiler project written in JavaScript for compiling and making complicated geometries.☆15Aug 28, 2024Updated 2 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.
- ☆12Sep 14, 2025Updated last year
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- ruby helpers for method chaining: tap, then, else☆12Nov 27, 2008Updated 17 years ago
- Blossom is a business application framework written in JavaScript targeting tablet, mobile, and desktop browsers.☆13Aug 28, 2012Updated 14 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Jul 21, 2026Updated 3 months ago
- simple addr2line reimplementation☆11Jan 31, 2012Updated 14 years ago
- Chef Resources and Providers for deploying ruby web apps without capistrano☆12Apr 1, 2010Updated 16 years ago
- generate graphs from google-perftools heap profiles☆15Nov 5, 2020Updated 5 years ago
- An implementation of the dining philosophers problem in Elixir.☆13Oct 31, 2012Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Tarski's world: semantics of first-order logic☆11Oct 13, 2026Updated 2 weeks ago
- Sparkline control for WPF and Silverlight☆12Aug 5, 2011Updated 15 years ago
- News from the depths☆15May 10, 2021Updated 5 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- ☆10Sep 27, 2026Updated last month
- A testing tool that generates characterization tests for legacy code.☆13Mar 22, 2011Updated 15 years ago
- Provides chef sudo resource for executing commands with sudo☆12Dec 24, 2016Updated 9 years ago
- Hopefully a lexer-generator that doesn't fucking suck☆10Dec 12, 2022Updated 3 years ago
- ☆16Oct 20, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Model Based Testing of the App Based On The Description from Constructing the User Interface with Statecharts Book of Ian Horrocks using …☆13Feb 20, 2024Updated 2 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- JavaScript30 Course☆10Mar 17, 2018Updated 8 years ago
- A tool to switch Visual Studio project file versions☆11Feb 21, 2011Updated 15 years ago
- Experimental lib for Clojure conditional feature reader using tagged literals☆14Aug 28, 2024Updated 2 years ago
- A High Avalibility framework for Ruby☆15Feb 20, 2019Updated 7 years ago
- ☆12Jun 8, 2022Updated 4 years ago