Small C Compiler written in Haskell
☆14Mar 12, 2018Updated 8 years ago
Alternatives and similar repositories for hscc
Users that are interested in hscc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learning Haskell for the first time and using it to write a simple C compiler☆27Mar 18, 2018Updated 8 years ago
- A Haskell implementation of a C compiler☆11Jun 19, 2021Updated 5 years ago
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Jun 2, 2026Updated 2 months ago
- MathLib DAC 2023 version☆13Sep 11, 2023Updated 2 years ago
- ☆29Jun 1, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Locates JAVA_HOME on any platform, and can differentiate between different versions.☆12Dec 4, 2023Updated 2 years ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 3 years ago
- A VHDL code generator for wallace tree multiplier☆10Apr 15, 2020Updated 6 years ago
- For Publishing ScalaJS Package to npm☆14Jul 1, 2024Updated 2 years ago
- The website for the Hematite project☆10Mar 7, 2015Updated 11 years ago
- newtype and refinement (refined) type for Scala 3☆14Aug 5, 2026Updated last week
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆12Aug 7, 2026Updated last week
- ☆14Apr 15, 2026Updated 4 months ago
- Spec-compliant polyfill for String.prototype.matchAll, in ES2020☆17Dec 30, 2025Updated 7 months 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.
- ☆12Jun 29, 2022Updated 4 years ago
- CodeFeedr core infrastructure☆10Nov 10, 2020Updated 5 years ago
- Nakasendo SDK installed on a CentOS container - Only supports c++ for now☆11Nov 4, 2019Updated 6 years ago
- A portal into bitcoin wonderland☆17Oct 29, 2018Updated 7 years ago
- Tools for creating and paying invoices privately on Bitcoin SV☆13Oct 29, 2024Updated last year
- Language with Clojure-like syntax and semantics based on EoPL + Shift/Reset☆15Jun 27, 2020Updated 6 years ago
- sCrypt library - Zero-Knowledge Proofs - curve BLS12-381 步行者☆13Mar 14, 2025Updated last year
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 3 years ago
- ☆10Sep 25, 2019Updated 6 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 wrapper around the JSON-RPC provided by the bitcoin/litecoin☆13Nov 9, 2017Updated 8 years ago
- Operate command line utility to help author and publish Ops to the blockchain.☆12Mar 22, 2022Updated 4 years ago
- Yet another COOL Compiler Project.☆10Dec 28, 2016Updated 9 years ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Jan 9, 2023Updated 3 years ago
- Transaction script compiler☆15Oct 25, 2016Updated 9 years ago
- A React zkSNARK Battleship game☆12Jan 9, 2024Updated 2 years ago
- Writing a compiler in Go☆12Aug 24, 2021Updated 4 years ago
- A tiny 3-stage RISC-V core written in Chisel.☆17Apr 14, 2023Updated 3 years ago
- ☆15Feb 14, 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.
- ☆16Jul 1, 2022Updated 4 years ago
- Quick Access to Recently Gyazo on Your Desktop☆14Sep 28, 2015Updated 10 years ago
- CUTP Contracts☆11Mar 9, 2021Updated 5 years ago
- Utility functions for testing Megaparsec parsers with Hspec☆18Aug 2, 2026Updated last week
- ☆14Aug 28, 2015Updated 10 years ago
- Generate a logical circuit for BitVM Bitcoin from a C like source code☆13Sep 8, 2024Updated last year
- Data structures/API for a Bitcoin exchange☆20Aug 31, 2017Updated 8 years ago