A language built atop the Sparse Synchronous Model
☆19Dec 23, 2023Updated 2 years ago
Alternatives and similar repositories for sslang
Users that are interested in sslang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Demo showing Claude Opus does not find CVE-2023-0266☆17Mar 19, 2024Updated 2 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 11 years ago
- Design documents for distributed DBSP☆11Oct 23, 2025Updated last year
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 6 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.
- Chisel Examples for the iCESugar FPGA Board☆12May 4, 2021Updated 5 years ago
- Conway's Game of Life using a memoized Store comonad☆11Nov 20, 2017Updated 8 years ago
- ☆14Aug 11, 2018Updated 8 years ago
- Mako: Speculative Distributed Transactions with Geo-Replication☆16Oct 25, 2026Updated 2 weeks ago
- ☆22Jul 31, 2019Updated 7 years ago
- An extension to the core Scala library for functional programming.☆12Jun 7, 2018Updated 8 years ago
- a simple software synthesizer in C☆19Updated this week
- ☆15Nov 1, 2023Updated 3 years ago
- Empowering everyone to build reliable and efficient software.☆12Oct 22, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Haskell bindings to libcmark-gfm GitHub Flavored Markdown parser☆18Sep 17, 2025Updated last year
- Tools for FPGA Assurance Flows☆14Sep 25, 2026Updated last month
- ☆14Aug 24, 2026Updated 2 months ago
- A handwritten raylib mruby binding.☆11Jan 30, 2024Updated 2 years ago
- Graphlib is a C Library for Graph. Importing this will provide Graph API to extent to applications.☆12Mar 2, 2018Updated 8 years ago
- Read ghc-core with style. javascript and CSS style.☆13Jul 4, 2015Updated 11 years ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated 2 years ago
- Very simple syntax highlighting☆21May 3, 2024Updated 2 years ago
- 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.
- Create graphical user interfaces really quickly. Sweet!☆22Feb 5, 2025Updated last year
- Experiments with composable lock-free concurrency☆25Updated this week
- Hybrid OpenSCAD + WYSIWYG procedural CAD system☆22Updated this week
- APL Orchard Cultivations: https://xpqz.github.io/cultivations/☆22Jul 27, 2022Updated 4 years ago
- Nginx OCSP processing module designed for response caching☆11Mar 24, 2014Updated 12 years ago
- ☆14Aug 17, 2026Updated 2 months ago
- ☆11Oct 13, 2022Updated 4 years ago
- A StableHLO analyzer in Lean☆26Oct 8, 2026Updated last month
- kj is a small collection of stb inspired libs.☆18Apr 5, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A simple Prolog interpreter written in C#☆12Apr 14, 2024Updated 2 years ago
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 11 years ago
- macOS syscall performance benchmark☆17Jan 9, 2018Updated 8 years ago
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 5 months ago
- Exports of the raylib API from raylib_parser☆12Updated this week
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- Fourmolu GitHub Action☆13Jun 24, 2026Updated 4 months ago
Are these results useful?