libreflip / cadLinks
CAD-Data of Libreflip
☆19Updated 6 years ago
Alternatives and similar repositories for cad
Users that are interested in cad are comparing it to the libraries listed below
Sorting:
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- Modeling DNS with Alloy☆37Updated 4 years ago
- Raspberry Pi image for controlling a DIYBookScanner via spreads☆37Updated 10 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15Updated 3 years ago
- curses based roost, irccloud & zulip client (a snipe is a kind of bird)☆18Updated 5 years ago
- formal tools for BPMN☆36Updated 5 months ago
- Source for the manx vintage computer documentation database.☆34Updated 2 years ago
- A pure Python implementation of parser combinators with asymptotically best performance and support for context-sensitive or ambiguous gr…☆91Updated 5 years ago
- A description of the relationship between databases, collaboration and Kripke☆28Updated 4 years ago
- Search lots of data sets for spurious correlations☆61Updated 3 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆19Updated 2 years ago
- Interactive SQL analytics in your browser!☆22Updated 7 years ago
- Web interface for Cayley☆25Updated 2 years ago
- This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …☆22Updated last year
- Golang WARC (Web ARChive) Library☆30Updated 6 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Zorba - the NoSQL processor☆42Updated 2 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Condorcet Internet Voting System☆97Updated 5 months ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆34Updated 7 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Command line tools and libraries for handling and manipulating WARC files (and HTTP contents)☆168Updated 4 months ago
- Search engine for agencies' published content☆14Updated last week
- PostgreSQL Foreign Data Wrapper for RDF Triplestores☆30Updated this week
- A mini LDP Server written in Go.☆11Updated 9 years ago
- Gamebook-style Q&A Platform - Tell sea lions and mob harassers to FAQ Off!☆34Updated 5 years ago
- Use SQL to instantly query stories, users and other items from Hacker News. Open source CLI. No DB required.☆17Updated 2 months ago
- Block-level copy-on-write tool☆17Updated last year