DRMacIver / systemsLinks
☆14Updated 6 years ago
Alternatives and similar repositories for systems
Users that are interested in systems are comparing it to the libraries listed below
Sorting:
- A very minimal implementation of the core idea of Hypothesis☆143Updated last year
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last month
- Types for Python☆87Updated 7 years ago
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Exactly what it says on the tin.☆20Updated 8 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Render hierarchical git repositories into HTML☆74Updated last year
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- Programmable, human-readable inlining of Python code☆28Updated 3 years ago
- pfff is mainly an OCaml API to write static analysis, dynamic analysis, code visualizations, code navigations, or style-preserving source…☆183Updated this week
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- A clean implementation of Parsing with Zippers.☆38Updated 7 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 7 years ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆13Updated this week
- Forward build system with speculation and caching☆110Updated 2 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆110Updated last year
- A visualization of key structures in abstract algebra.☆157Updated 5 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated last month
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆270Updated this week
- In-browser OCaml notebooks 🐪☆26Updated 6 years ago
- Is this integer dead or alive?☆45Updated 8 years ago
- Random Access Zipper in OCaml☆14Updated 9 years ago
- A list of human-centered software engineering dissertations.☆48Updated 3 years ago
- The Ur/Web People Organizer☆30Updated last year
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago