columbia / smt-mcView external linksLinks
The Parrot stable and deterministic multi-threading system.
☆25Nov 9, 2013Updated 12 years ago
Alternatives and similar repositories for smt-mc
Users that are interested in smt-mc are comparing it to the libraries listed below
Sorting:
- GPU model checker☆11Apr 17, 2019Updated 6 years ago
- A Lightweight Graph Processing Framework for Multi-GPUs☆14Apr 15, 2015Updated 10 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- This repo is now stale; all changes have been integrated into upstream LLVM. (Was: A proof of concept implementation of proposed support…☆28Aug 4, 2014Updated 11 years ago
- A library for analyzing LLVM bitcode in Haskell☆44Oct 9, 2014Updated 11 years ago
- Калькулятор на python / kivy☆12Oct 1, 2021Updated 4 years ago
- Zipkin Mesos Framework☆31Feb 24, 2016Updated 9 years ago
- A public repository for publishing XER Tools☆17Nov 9, 2025Updated 3 months ago
- Code examples from the book, Jupyter Notebook 101 by Michael Driscoll☆11Oct 17, 2021Updated 4 years ago
- Creating popout windows for Blender☆10Jul 28, 2023Updated 2 years ago
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- ☆13Feb 8, 2024Updated 2 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- ifcParser in Grasshopper and NotePad++ Express Style☆10Jun 28, 2017Updated 8 years ago
- Parallel programs with OpenMPI☆10Apr 1, 2015Updated 10 years ago
- Building Business Solutions with PowerApps and the Power Platform☆11Jan 30, 2020Updated 6 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Jan 27, 2026Updated 2 weeks ago
- SineKAN: Kolmogorov-Arnold Networks Using Sinusoidal Activation Functions☆15Dec 19, 2024Updated last year
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Layout and custom fields for DanePubliczne.gov.pl☆10Dec 7, 2022Updated 3 years ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Jan 22, 2026Updated 3 weeks ago
- ☆14Oct 27, 2025Updated 3 months ago
- Learn how to scrape web content from HTML and see how web scraping differs to web crawling☆11Aug 14, 2020Updated 5 years ago
- BigDataBench Spark workloads☆11Jul 15, 2016Updated 9 years ago
- A framework that helps implementing swizzle GPU kernels☆51Feb 29, 2020Updated 5 years ago
- This API provides authentication and CRUD operations for data used by the Chronas application☆13Updated this week
- Artifact of paper "Exploiting Recent SIMD Architectural Advances for Irregular Applications"☆11Jun 23, 2016Updated 9 years ago
- Checks for and reports commits unreleased for a specific release branch.☆17Jan 6, 2026Updated last month
- A distributed network based on hash codes and lattices.☆14Aug 16, 2016Updated 9 years ago
- Run CoffeeScript or JavaScript in Atom.☆11Aug 20, 2017Updated 8 years ago
- Download the PowerBI file here☆12Jun 5, 2022Updated 3 years ago
- The Current - a Multifamily Project in Eau Claire, WI☆11Dec 7, 2022Updated 3 years ago
- Open Source Chess Game for Windows developed in C#☆10Dec 29, 2017Updated 8 years ago
- In this workshop you will learn how to build and deploy your own AI Models☆12Jul 7, 2021Updated 4 years ago
- The Community Edition of CADViewer JS, the web-based CAD viewer that integrates with all browsers☆11Aug 31, 2020Updated 5 years ago
- ☆11Feb 16, 2021Updated 5 years ago
- A Clojure library for efficient data access using batching and caching.☆10Jan 15, 2021Updated 5 years ago
- Test instruction and IFC file repository for the BIM for Bridges and Structures Transportation Pooled Fund project TPF-5(372).☆13Jun 6, 2025Updated 8 months ago