Public starter source code, scripts, and documentation for AESD assignments
☆47Aug 28, 2025Updated 7 months ago
Alternatives and similar repositories for aesd-assignments
Users that are interested in aesd-assignments are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- kotlin-ktor-starter☆18May 31, 2024Updated last year
- A Verilog parser for Haskell.☆36Jul 6, 2021Updated 4 years ago
- making data science easy and safe with data frames in haskell☆28Jul 31, 2017Updated 8 years ago
- Cross platform haskell library for using the serial port☆43Jul 23, 2020Updated 5 years ago
- Download your Notion's database and save it locally into SQLite.☆16Mar 27, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A common API for interfacing with secure services☆17Mar 24, 2026Updated 3 weeks ago
- Work towards creating a common JSON based format for compact network specification☆14Jan 6, 2026Updated 3 months ago
- ☆10Apr 7, 2016Updated 10 years ago
- A cross platform Rust library that returns the vendor and product IDs of currently connected USB devices☆11Oct 28, 2024Updated last year
- Detects and validates credit card numbers (type of card, number length and Luhn checksum).☆21Jan 6, 2025Updated last year
- locatecontrol plugin extension for vue2-leaflet package☆13Dec 30, 2022Updated 3 years ago
- ☆13Aug 15, 2024Updated last year
- Render Kroki diagrams from files or code blocks in mdbook☆15Feb 16, 2026Updated 2 months ago
- Code to explore/extract vector data from a WMS server☆20Updated this week
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- a vim plugin to wrap lines in a block☆29Jan 19, 2016Updated 10 years ago
- Bindings for Windows Firewall from Rust☆18Nov 27, 2022Updated 3 years ago
- This is a repository for the paper: "Sequence anticipation and spike-timing-dependent plasticity emerge from a predictive learning rule" …☆12Jun 2, 2024Updated last year
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Rust Optimal Transport solvers☆13Mar 31, 2024Updated 2 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 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.
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- a panoramic video streamer☆13May 15, 2020Updated 5 years ago
- a hardware control platform that can be accessed on the web designed for LattePanda☆10Dec 16, 2016Updated 9 years ago
- Serializes RDF from a SPARQL endpoint to JSON-LD documents☆10Sep 11, 2018Updated 7 years ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 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 synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 5 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Security related data and information for all aspects of Grin☆14Aug 2, 2021Updated 4 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- A prototype of Mio — modular DAW for live coding, live performance and composing.☆13Jan 12, 2021Updated 5 years ago
- WIZ5500 based Ethernet Shield library☆88Jan 7, 2019Updated 7 years ago