lorin / dns-alloyView external linksLinks
Modeling DNS with Alloy
☆37Dec 6, 2021Updated 4 years ago
Alternatives and similar repositories for dns-alloy
Users that are interested in dns-alloy are comparing it to the libraries listed below
Sorting:
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Repository for my Hypothesis training course☆11Sep 30, 2016Updated 9 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- 🕒 🐇 I'm late I'm late for a very important date☆13Apr 29, 2021Updated 4 years ago
- Quickly open links from from kubernetes resources using jsonpath templates.☆13Apr 3, 2024Updated last year
- ☆12Dec 21, 2021Updated 4 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- fork of https://bitbucket.org/haypo/aiogevent☆14Oct 15, 2021Updated 4 years ago
- ☆20Sep 1, 2018Updated 7 years ago
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- A syntax highlighter for the web using tree-sitter.☆16Sep 9, 2022Updated 3 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 5 years ago
- An Elixir library to store key-value pairs in a distributed, fault-tolerant, self-adjusting data structure☆20Apr 8, 2023Updated 2 years ago
- Not longer maintained openHAB 1.x related repository (FROZEN).☆14Nov 23, 2016Updated 9 years ago
- PolyRPC, A multi-tier functional programming language☆20Oct 4, 2022Updated 3 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- Scheme implementation based on a paper.☆19Jul 19, 2020Updated 5 years ago
- React renderer for Kubernetes configurations☆25Mar 11, 2024Updated last year
- ☆24Jul 13, 2024Updated last year
- Light references to trait objects by embedding the virtual table pointer in the struct☆25Aug 25, 2024Updated last year
- A talk☆29Apr 14, 2021Updated 4 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆64Jul 19, 2025Updated 6 months ago
- An as-yet UNTESTED sample speaker's rider to share with event organizers.☆21Jul 25, 2019Updated 6 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago
- A Really Cool Calculator written in Haskell... or is it?☆44Aug 26, 2021Updated 4 years ago
- Automation of Haskell package release process.☆31Oct 31, 2023Updated 2 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- Type Your Matrices For Great Good☆29Jul 22, 2020Updated 5 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- ☆31Mar 5, 2022Updated 3 years ago
- Project of Data Mining group☆16Aug 10, 2012Updated 13 years ago
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- [depricated] Public Corsica instance for the ambient Mozilla office☆35Mar 15, 2022Updated 3 years ago
- Tutorial for coding a snake game, as introduction to Rust. Ready for human testing!☆36Aug 12, 2021Updated 4 years ago
- Source for rustacean.net, home page of Ferris the Crab.☆36Mar 22, 2025Updated 10 months ago
- Portable mirc 7.57 + invision. If you have any feature requests, please post in issues!☆12Mar 3, 2020Updated 5 years ago
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago