a small C++ lattice library
☆15Jan 9, 2020Updated 6 years ago
Alternatives and similar repositories for arugula
Users that are interested in arugula are comparing it to the libraries listed below
Sorting:
- ☆16Sep 4, 2023Updated 2 years ago
- A general purpose relational language☆19Feb 21, 2020Updated 6 years ago
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- An experimental columnar arena☆43Feb 8, 2026Updated last month
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- A language for symbolic transitions system, inspired by Ivy.☆74Updated this week
- Exoshuffle-CloudSort☆29Mar 2, 2023Updated 3 years ago
- ☆12Feb 6, 2018Updated 8 years ago
- Awesome List for Infrastructure as Code☆15Jul 15, 2017Updated 8 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Support for the Ink programming language in Visual Studio Code☆10Sep 2, 2020Updated 5 years ago
- Genyris presents a paradigm in which objects can belong to multiple classes independent from construction allowing data to be classified …☆17Updated this week
- Red Pebble, a Google Assistant & Google Home bot, that tells you everything about the weather on Mars! A Google Actions Hackathon project…☆11Oct 11, 2018Updated 7 years ago
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Jun 22, 2018Updated 7 years ago
- A lighweight and parallel snapshot testing framework in rust☆37Aug 17, 2023Updated 2 years ago
- Controlling scientific instruments used in optics, photonics and electronics labs☆15May 20, 2025Updated 10 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- Rapid prototyping parser generator☆17Mar 13, 2026Updated last week
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- A Serverless Monitoring Stack on AWS with Grafana on ECS@Fargate backed by RDS Aurora☆12Mar 5, 2019Updated 7 years ago
- A tool to convert ruby code into python☆16Feb 13, 2012Updated 14 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- This repository contains lectures on Many-body physics and Machine Learning☆13Jun 5, 2021Updated 4 years ago
- A query tool on networkx☆17Jan 22, 2025Updated last year
- causal-length sets in Rust☆16Mar 20, 2021Updated 5 years ago
- Cross platform screen recording utility (with audio support), with animated GIF conversion☆16Mar 13, 2026Updated last week
- Undelete open files and loop mounts ("improved" version of fdlink)☆10Apr 19, 2011Updated 14 years ago
- OUT OF DATE! A fully buzzword-compliant experimental project: Electron, TypeScript, React, Redux, WebPack and Rust. It compiles and runs!☆16Jan 26, 2020Updated 6 years ago
- CUE definitions for terraform providers☆19Mar 3, 2024Updated 2 years ago
- a BOCU-1 encoder/decoder library in rust☆18Dec 28, 2022Updated 3 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 5 years ago
- café, a systems language☆19Feb 25, 2018Updated 8 years ago
- A Golang implementation of the VarOpt weighted sampling algorithm☆12Oct 18, 2024Updated last year
- Implementation of the tetrahedron method for Brillouin zone summation☆12Jan 12, 2017Updated 9 years ago
- A simple sparse bitmap implementation in java☆22Jan 28, 2016Updated 10 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems☆23Aug 18, 2020Updated 5 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago