Have your cake and eat it too: CockroachDB named YOUR way.
☆24Aug 10, 2017Updated 8 years ago
Alternatives and similar repositories for bikesheddb
Users that are interested in bikesheddb are comparing it to the libraries listed below
Sorting:
- A no frills delta debugger written in myrddin.☆29Nov 21, 2017Updated 8 years ago
- A safe and efficient target language for functional compilers☆20May 5, 2018Updated 7 years ago
- A solid modeling language in Haskell.☆28Sep 14, 2012Updated 13 years ago
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- Clojure program to exhaustively search for optimal Java programs☆21Sep 5, 2012Updated 13 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Aug 1, 2015Updated 10 years ago
- WebAssembly compiler and runtime for BEAM languages☆33Apr 24, 2019Updated 6 years ago
- A vscode extension to run system commands.☆32Apr 8, 2019Updated 6 years ago
- ☆37Aug 29, 2018Updated 7 years ago
- [DEPRECATED] A simple object arena☆37May 8, 2021Updated 4 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Jun 21, 2023Updated 2 years ago
- Managing Rust dependencies via a dashboard☆50Jul 19, 2023Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆14Jun 26, 2025Updated 8 months ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 4 years ago
- ☆11Mar 2, 2022Updated 4 years ago
- an app to find tech for good events near you☆11Jan 9, 2018Updated 8 years ago
- Wahoo KICKR Indoor Bike Bluetooth Projects☆13Feb 23, 2024Updated 2 years ago
- ☆12Feb 5, 2026Updated last month
- Number names is a Rust library to provide formatted string names for cardinal and ordinal numbers.☆13May 16, 2022Updated 3 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- ☆10Feb 22, 2025Updated last year
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Raster processing library and tools written in rust☆13Jun 23, 2024Updated last year
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated 2 months ago
- Slides and code for PyData Berlin 2017, Introduction to Julia, tutorial.☆10Jun 30, 2017Updated 8 years ago
- Julia implementation of the algorithm described in the paper "A scalable algorithm for sparse portfolio selection" by Bertsimas and Cory-…☆11Mar 22, 2021Updated 4 years ago
- Functional Data Analysis using Square-Root Slope Framework☆10Oct 26, 2020Updated 5 years ago
- In short, mio is memcached + "range search".☆40Sep 16, 2010Updated 15 years ago
- Create an optimal diet from USDA's food composition database using linear programming.☆11Apr 19, 2023Updated 2 years ago
- BTT SB22xx undervoltage / reset issue☆11Mar 18, 2024Updated last year
- ☆19Oct 27, 2025Updated 4 months ago
- Read physical page locations from arbitrary Linux programs☆13Jun 20, 2017Updated 8 years ago
- SQL over RPC, specifically for SQLite☆10Jul 17, 2018Updated 7 years ago
- Phoenix API playground to play with cockroachdb 2.1, elixir release, and gigalixir☆11Updated this week
- ☆14Jul 27, 2024Updated last year