Sequoia MSO Core Library and Programs
☆13Nov 13, 2016Updated 9 years ago
Alternatives and similar repositories for sequoia-core
Users that are interested in sequoia-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Provides LLDB data formatters for the rapidjson library☆11Mar 17, 2023Updated 3 years ago
- Easy to use relay mock and unit testing tool (works with Jest & Enzyme)☆15Feb 9, 2017Updated 9 years ago
- Folien der Vorträge☆12Mar 3, 2017Updated 9 years ago
- Backtrace-on-throw C++ exception logger☆16Aug 14, 2019Updated 7 years ago
- Port of C++ libraries to Android that I use in my projects☆17Dec 19, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Sep 30, 2026Updated 3 weeks ago
- ☆11Jun 1, 2025Updated last year
- Implementation for Proximal Neural Networks.☆11Sep 17, 2021Updated 5 years ago
- Example Java EE application with JAX-RS endpoint which are secured using JSON Web Tokens (JWT)☆15Sep 11, 2015Updated 11 years ago
- Simple VAX Kernel☆13Sep 9, 2013Updated 13 years ago
- VATA Tree Automata Library☆35Feb 3, 2026Updated 8 months ago
- Archy from RaskinCenter.org WebArchive☆14Mar 13, 2018Updated 8 years ago
- A little (< 300 loc), incomplete TCL interpreter☆13Mar 3, 2017Updated 9 years ago
- ☆34Oct 22, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Testing flow matching in Euclidean space and Lie groups.☆16Updated this week
- ☆13Oct 15, 2023Updated 3 years ago
- This Arduino/Teensy 3.1 program interprets 12 inputs as rows of classical punch cards and decodes the characters.☆12Nov 21, 2014Updated 11 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- 图像识别后台算法服务器☆12Jul 25, 2016Updated 10 years ago
- SuperTango8, Grapher by Algoritmegruppen☆14Jul 15, 2017Updated 9 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 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.
- Small Prolog☆15Dec 8, 2016Updated 9 years ago
- ☆16Jun 25, 2019Updated 7 years ago
- Year project - Pascal interpreter written in Java using Truffle API☆10Feb 5, 2021Updated 5 years ago
- Try Metapost quickly and easily with our online sandbox application!☆12Feb 14, 2026Updated 8 months ago
- Comfortable lightweight C++ logging library -- cross-platform, C++11.☆29Nov 28, 2022Updated 3 years ago
- Welcome to "Data Slices", where imagination and information converge, inviting you to see the world through a new lens of data-driven art…☆11Oct 6, 2024Updated 2 years ago
- Emulator for Mil-std-1750A instruction set. Written in C++☆11Jul 16, 2012Updated 14 years ago
- ☆22May 25, 2017Updated 9 years ago
- ☆12Sep 29, 2021Updated 5 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.
- Track app memory usage.☆11Jan 13, 2015Updated 11 years ago
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated 2 years ago
- ☆15Nov 5, 2025Updated 11 months ago
- Giraph Docker image☆12Feb 17, 2016Updated 10 years ago
- Implementation of Bayesian Sum-Product Networks☆13May 19, 2020Updated 6 years ago
- Neovim UI client using arcan-tui☆15Feb 20, 2024Updated 2 years ago
- Supporting code, data, docs for Queue Evolution talk☆14Feb 19, 2015Updated 11 years ago