Graph Intermediate Representation
☆14Dec 21, 2016Updated 9 years ago
Alternatives and similar repositories for graph-ir
Users that are interested in graph-ir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graph Intermediate Representation (GIR) library for ML☆24Mar 18, 2017Updated 9 years ago
- backup of the joy programming language☆10Feb 19, 2016Updated 10 years ago
- Experiment that uses datascript to query HTML/XML in a DOM-like way☆24Oct 17, 2015Updated 11 years ago
- Alpacc: Array Language Parallelism-Accelerated Compiler Compiler☆11Jun 11, 2026Updated 4 months ago
- General-purpose programming language featuring functional idioms, strong static inferred types, and a concurrency model built on managed …☆14May 27, 2021Updated 5 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.
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- VCV Rack plugin☆17Aug 7, 2022Updated 4 years ago
- ReasonML helpers for generating cmp functions.☆11Jul 30, 2018Updated 8 years ago
- Tiny fork of TinySCHEME to support no-hassle building on Mac OS X (plus a bridge to Objective-C, but use CocoaScheme instead of this) WAR…☆16Dec 13, 2009Updated 16 years ago
- The place for submitting new articles to the Serokell blog.☆17Oct 13, 2026Updated 2 weeks ago
- Slides and code from a talk on subtyping and functor variance☆10Jun 19, 2014Updated 12 years ago
- Phoenix (Elixir) like channels for Dream (Ocaml)☆15Jul 20, 2021Updated 5 years ago
- Javascript With Advanced Continuation Support☆18Jun 11, 2018Updated 8 years ago
- Experimental IPFS backend for Irmin☆11Oct 31, 2022Updated 3 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.
- Modules for VCV Rack☆12Apr 7, 2025Updated last year
- Interleaved client/server code extraction☆12Jan 30, 2022Updated 4 years ago
- Source code from Billy Newports blog☆19Nov 24, 2014Updated 11 years ago
- Source of the Frege Goodness gitbook☆16Jan 16, 2019Updated 7 years ago
- Simple testing toolkit☆10May 28, 2021Updated 5 years ago
- A tool for solving the satisfiability and validity problems for modal fixpoint logics.☆11Oct 11, 2025Updated last year
- Example project using esy and reason☆11Sep 23, 2022Updated 4 years ago
- The UW's library for common routines in scala.☆14Jun 28, 2016Updated 10 years ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Source and tests for Extending and Using Specter☆11Jun 19, 2016Updated 10 years ago
- Roy plugin for Play 2.0☆12Nov 27, 2012Updated 13 years ago
- CodeSearch plugin for all IntelliJ-based IDEs☆13Oct 17, 2020Updated 6 years ago
- ☆11Mar 1, 2017Updated 9 years ago
- ☆15Dec 11, 2020Updated 5 years ago
- ☆36Jul 29, 2025Updated last year
- Yet another Git/Clearcase bridge, written in Java☆16Nov 11, 2010Updated 15 years ago
- Trying to mimic btapp.js in angularjs service and provide a clean service interface.☆22Feb 7, 2015Updated 11 years ago
- A talk (including sample code) about the Turing award lecture "Reflections on Trusting Trust" originally given by Ken Thompson.☆19May 2, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- a tiny library for datomic☆12May 2, 2018Updated 8 years ago
- Neovim nvim-cmp source for graphql completions based on schema☆12Aug 14, 2023Updated 3 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Apr 7, 2022Updated 4 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- High-Level Redis Database☆14Jul 18, 2022Updated 4 years ago
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 8 years ago
- Example of easy dynamic import in ReScript using Vite☆10Jul 7, 2022Updated 4 years ago