☆64Feb 25, 2026Updated last month
Alternatives and similar repositories for TALOS
Users that are interested in TALOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- ☆11Nov 2, 2021Updated 4 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 8 years ago
- 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.
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- ☆13Jun 4, 2018Updated 7 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- Revamp / enhancements of the FPGA part of the Firebee project☆12Apr 26, 2014Updated 11 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 3 months ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- ☆13Feb 23, 2026Updated last month
- Website for CSE230☆10Jan 29, 2016Updated 10 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.
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 2 months ago
- Verilog FPGA code : including experimental DSP audio processor☆13Dec 1, 2020Updated 5 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 5 months ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- Code and notebooks for reproducing the method of "DIY hyperspectral imaging via polarization-induced spectral filters." Katherine Salesin…☆11Aug 1, 2022Updated 3 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Purely functional Redux actions and reducers with PureScript.☆12Apr 19, 2016Updated 9 years ago
- Build GraphQL schema and server from Protobuf☆11Jan 1, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 西安电子科技大学本科生毕业设计（论文）LaTeX模板☆11Jun 7, 2016Updated 9 years ago
- A plugin for circuit notation☆12Aug 8, 2025Updated 7 months ago
- Virtual Audio Loopback Cable for Windows☆10Sep 18, 2022Updated 3 years ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated last year
- Arty FPGA board starter project☆12Sep 13, 2022Updated 3 years ago
- OpenReroc (Open source Reconfigurable robot component)☆10Oct 17, 2016Updated 9 years ago
- Firmware and Gateware for the DiVA platform.☆14Sep 8, 2025Updated 6 months ago
- Markdown+Pandoc+MarkdownPad2+Github 打造传世笔记模板 demo☆11Jun 30, 2014Updated 11 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Jun 28, 2025Updated 8 months 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.
- ☆11Updated this week
- ☆19Feb 27, 2023Updated 3 years ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated 2 months ago
- https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html☆12Jul 6, 2016Updated 9 years ago
- Polyphonic additive wheeltone synthesizer core☆18Oct 23, 2019Updated 6 years ago
- ☆15Apr 25, 2019Updated 6 years ago
- Make a map of all georeferenced maps on routegadget☆14Aug 4, 2021Updated 4 years ago