ekpyron / AOTView external linksLinks
Embedding of The Theory of Abstract Objects in Isabelle/HOL
☆26Dec 1, 2025Updated 2 months ago
Alternatives and similar repositories for AOT
Users that are interested in AOT are comparing it to the libraries listed below
Sorting:
- Global domain mind map tool build on top of IPFS and IPLD☆14Nov 15, 2018Updated 7 years ago
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆18Updated this week
- a webrtc-swarm with friends☆33Aug 29, 2018Updated 7 years ago
- This repository contains the registries for components, agents and services, the second part of the autonolas-v1 protocol.☆15Feb 5, 2026Updated last week
- ☆10Aug 19, 2022Updated 3 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- Our solution for Go-Links. MIT License☆11Feb 2, 2026Updated last week
- Meeting Repository for AllERCDevs☆10Jun 26, 2024Updated last year
- ☆11Oct 31, 2021Updated 4 years ago
- CameraCipher Library (an IOCipher project)☆11Jul 14, 2015Updated 10 years ago
- A library for connecting Bluefruit compatible boards to Neosensory hardware.☆11Apr 5, 2024Updated last year
- Source code for examples gone through for Whiteboarding And Algorithms Workshop - Wednesday Edition☆11Oct 21, 2019Updated 6 years ago
- dokku plugin to open TCP ports on the application for the outside world.☆12Nov 19, 2021Updated 4 years ago
- ☆10Jan 11, 2023Updated 3 years ago
- A collection of patterns to solve problems in Django. Makes up the site DjangoPatterns.com. Fork, contribute, and issue a pull request.☆16Dec 17, 2022Updated 3 years ago
- CodeMirror Mode for React E4X/JSX☆11Jun 13, 2015Updated 10 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- ☆11Aug 17, 2023Updated 2 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- A simple and handcrafted strace-like eBPF-based syscall tracer☆20Aug 2, 2025Updated 6 months ago
- FFT Explorations (basic implementation)☆10Aug 8, 2014Updated 11 years ago
- Metamath logic game☆10Apr 16, 2025Updated 9 months ago
- A protocol testing platform that simulates network conditions and peer behavior to produce programmer-friendly benchmark data☆11Jan 4, 2019Updated 7 years ago
- A Syncthing status menu for Ubuntu☆12Jun 13, 2015Updated 10 years ago
- A pure Golang webdav implement☆16Apr 6, 2014Updated 11 years ago
- A V wrapper for binaryen, an optimizer and compiler/toolchain library for WebAssembly.☆12Feb 5, 2023Updated 3 years ago
- Experimental PoC baremetal V programming for MCUs☆13Jun 14, 2022Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Simple Tahoe LAFS storage node☆12Jul 11, 2015Updated 10 years ago
- go library for the dropbox API☆21Nov 12, 2013Updated 12 years ago
- A collection of scripts for running eth + optimism full nodes☆13Mar 15, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- LittleSis development setup w/ docker & deployment instructions w/ ansible☆13Jan 7, 2022Updated 4 years ago
- Documentation generator for the Go programming language☆11Apr 21, 2011Updated 14 years ago
- Ansible playbook and related roles for setting up a Tor relay.☆11May 25, 2014Updated 11 years ago
- Ubuntu based Kerberos server which is compatible with LDAP (even in Docker network).☆13Jul 29, 2020Updated 5 years ago
- ☆10Feb 27, 2024Updated last year
- #BEStartupManifesto website☆10May 9, 2015Updated 10 years ago
- The hello-world of MPC.☆14Jun 16, 2025Updated 7 months ago