shelbyt / smartChartLinks
Mac OSX and Windows Compatible Text Searcher. Provide keywords, match text
☆10Updated 5 years ago
Alternatives and similar repositories for smartChart
Users that are interested in smartChart are comparing it to the libraries listed below
Sorting:
- A language for symbolic transitions system, inspired by Ivy.☆69Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 4 months ago
- FSCQ is a certified file system written and proven in Coq☆244Updated 2 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆58Updated last year
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- Mutilate: high-performance memcached load generator☆133Updated 3 years ago
- Invoke SMT solvers from Coq to check obligations☆10Updated 5 years ago
- Lecture material for DeepSpec Summer School 2017☆88Updated 3 years ago
- ☆26Updated last year
- MonoSAT - An SMT solver for Monotonic Theories☆113Updated 3 months ago
- Utilities I find useful while working on GHC (mirror of GitLab repo)☆24Updated 5 years ago
- ☆32Updated 3 years ago
- Materials for OPLSS 2021☆11Updated 4 years ago
- Experimental tool to build reports on GHC build time for your projects.☆24Updated 2 years ago
- A category polymorphic `Functor` typeclass.☆11Updated last year
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Updated 11 years ago
- An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework☆188Updated last year
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- An efficient, embeddable DPLL SAT solver in Haskell☆37Updated 9 years ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆107Updated 11 months ago
- Verifying concurrent code with layers and movers☆12Updated 5 years ago
- Race Condition Running☆11Updated last week
- ☆128Updated 3 years ago
- This is not the Git repo you're looking for...☆25Updated 5 years ago
- ☆21Updated 4 months ago
- A basic reflex host for backend work☆13Updated 4 years ago
- A framework for formally verifying distributed systems implementations in Coq☆608Updated last year
- Program Synthesis Course☆254Updated last year
- Template for quickly and easily combining happy and alex☆48Updated 9 years ago
- The Frenetic Programming Language and Runtime System☆225Updated last year