Source code of my doctoral dissertation
☆36May 9, 2018Updated 8 years ago
Alternatives and similar repositories for ghb-thesis
Users that are interested in ghb-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- Disassembler for X86 & AMD64 machine code☆15May 26, 2015Updated 11 years ago
- Common Lisp front-end to CL-PDF and Vecto☆13Apr 30, 2022Updated 4 years ago
- iCalendar/vCard parser for GNU Guile.☆12Jun 7, 2026Updated 3 months ago
- A simple BNF parser.☆11Nov 15, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A FreeCAD Module to interchange information with Virtual Satellite.☆10Jan 24, 2025Updated last year
- Sources - with fixes - of the draft Common Lisp specification proposed to the American National Standard for Information Systems as well …☆16May 6, 2024Updated 2 years ago
- An implementation of a hash-set.☆19Dec 1, 2024Updated last year
- A Wacom Bamboo Pen Tablet Settings UI☆11Dec 1, 2021Updated 4 years ago
- Simulation environment for an autonomous robot☆18Feb 13, 2021Updated 5 years ago
- Overlay twitch chat on your games☆14Apr 13, 2020Updated 6 years ago
- A repo for books by L. V. Tarasov☆13May 27, 2015Updated 11 years ago
- Automated CAD assembly generation based on Combinatory Logic Synthesis.☆15Updated this week
- An implementation of Frank Karsten's deck aggregation algorithm described here: http://www.channelfireball.com/articles/magic-math-a-new-…☆12Mar 13, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automatic generator for ASDF's .asd files☆18Dec 21, 2018Updated 7 years ago
- Reading and writing SSBH file formats in Rust☆11Updated this week
- ☆10Oct 25, 2020Updated 5 years ago
- ☆13Updated this week
- Ivy frontend for the emacs taskrunner library☆11Aug 29, 2019Updated 7 years ago
- Collection of tools/data used for reverse engineering Nintendo Switch sysmodules with Ghidra☆19Jul 10, 2026Updated last month
- A DSL capable of specifying arbitrary skeletons with interrelationships, constraints, and bounded parameters☆21Aug 28, 2022Updated 4 years ago
- Indexed grep☆21Feb 4, 2024Updated 2 years ago
- A music composition tool for structuring chord progressions and patterns, written in Rust.☆17Mar 23, 2020Updated 6 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.
- Edit remote Dokuwiki pages using XML-RPC☆17Oct 30, 2023Updated 2 years ago
- Fully asynchronous implementation of the Google Cast CASTV2 protocol, allowing communication with receivers such as Chromecast or Google …☆18Aug 15, 2025Updated last year
- ☆16Feb 28, 2026Updated 6 months ago
- Emacs Customisation. Org Babel based emacs customisations.☆14Aug 19, 2026Updated 2 weeks ago
- Unix style pipes and a lambda shorthand syntax to make your Racket code more readable.☆27Mar 23, 2021Updated 5 years ago
- High-level abstractions for generating generic jsonapi compliant resources configured in Common Lisp.☆18Jul 17, 2026Updated last month
- Automatically compile and link C programs☆16Jul 24, 2010Updated 16 years ago
- Train a neural network and export weights as a string to copy into Arduino sketches☆16Nov 15, 2017Updated 8 years ago
- very good CAD software☆18Oct 24, 2025Updated 10 months 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.
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- How to build a Kindle-like e-Reader☆18Nov 26, 2018Updated 7 years ago
- Utility for dumping all the information Capstone has on given instructions.☆21Oct 1, 2021Updated 4 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆18Jul 31, 2026Updated last month
- The open source repo for the player application of "Pixel Game Maker MV"☆24Aug 28, 2026Updated last week
- Formal specification of the Haskell Language Report☆33Mar 2, 2026Updated 6 months ago
- ☆17Feb 28, 2022Updated 4 years ago