The ADUni course material, and extra info.
☆15Sep 17, 2011Updated 14 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:
- My attempt to turn Emacs into VSCode☆10May 19, 2025Updated last year
- Distributed algorithms in Lean 4☆16Jun 26, 2026Updated 3 weeks 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
- Stacked five machine learning models: SVM, DT, RF, NB, and KNN, into one “smart detection stacked model” using a stacking classifier to …☆11Aug 9, 2022Updated 3 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.
- model checking samples☆17Oct 18, 2021Updated 4 years ago
- My personal page.☆11Jun 21, 2017Updated 9 years ago
- could it be?☆18Jul 11, 2025Updated last year
- A roguelike tutorial project using Zircon which is a spiritual successor of Caves of Clojure and Trystan's roguelike tutorial.☆12Apr 14, 2019Updated 7 years ago
- 📔Book auto-summary 🦀🖤 (gitbook/mdBook)☆31Mar 20, 2026Updated 4 months ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- fastapi boilerplate : postgresql + oauth2 + socketio☆11Jan 21, 2022Updated 4 years ago
- FHIR app example that works for Epic, Cerner and Athena☆11Feb 2, 2023Updated 3 years ago
- Compiler written for PL0 programming Language. Written in C, for COP3402 class from UCF.☆16Mar 31, 2016Updated 10 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.
- A different beautiful Floating Edit Text ported to Xamarin.☆10Feb 12, 2017Updated 9 years ago
- Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)☆19Mar 11, 2020Updated 6 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 6 years ago
- My neovim config☆11Jun 28, 2026Updated 3 weeks ago
- A memcached status app for the django web-framework☆20Oct 1, 2020Updated 5 years ago
- ☆18Apr 17, 2019Updated 7 years ago
- ☆12Oct 15, 2018Updated 7 years ago
- Joint CDISC/HL7 implementation guide covering official mappings between SDTM and CDASH and FHIR resources☆11Jul 29, 2024Updated last year
- Query Optimizer Testing Framework for Postgres compatible DBs☆20Apr 29, 2025Updated last year
- 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.
- Educational Verilog CPU Implementations of a Tiny Instruction Set☆14Oct 22, 2019Updated 6 years ago
- Virtustan MUD☆12Feb 5, 2026Updated 5 months ago
- Wrapper for angular. Provide easier way to register angular components, wrappers for $scope, $injector and unique directive features and …☆12Jan 15, 2019Updated 7 years ago
- ☆11Aug 26, 2019Updated 6 years ago
- This program implements a nondeterministic Turing machine simulator in C.☆24Oct 14, 2018Updated 7 years ago
- My attempt to clean up the Dawn of Time MUD codebase☆12May 5, 2018Updated 8 years ago
- Resources, activity, discussions for Wagtail’s participation to Outreachy☆20Feb 6, 2024Updated 2 years ago
- ☆23Jul 23, 2024Updated last year
- IDesk gives users icons on their desktop. Features include transparency, configurable actions to run shell commands, PNG, SVG and GIF ima…☆41Apr 6, 2025Updated last year
- 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.
- ☆14Jan 12, 2024Updated 2 years ago
- Import from https://code.wolfmud.org/WolfMUD☆16Jul 17, 2023Updated 3 years ago
- This is NotaMUD, which might be a MUD one day, but currently is not. And it may never be. But it thinks it might be. It runs in Node and…☆11Apr 18, 2023Updated 3 years ago
- ☆15Jan 4, 2023Updated 3 years ago
- A Django app for embedding Webalizer reports into the admin☆25Oct 20, 2016Updated 9 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- ☆10Apr 19, 2022Updated 4 years ago