Embedding of The Theory of Abstract Objects in Isabelle/HOL
☆27Dec 1, 2025Updated 3 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☆18Feb 10, 2026Updated 3 weeks ago
- 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.☆15Updated this week
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- ☆12Jun 24, 2024Updated last year
- CameraCipher Library (an IOCipher project)☆11Jul 14, 2015Updated 10 years ago
- ☆10Aug 19, 2022Updated 3 years ago
- A library for connecting Bluefruit compatible boards to Neosensory hardware.☆11Apr 5, 2024Updated last year
- Our solution for Go-Links. MIT License☆11Updated this week
- Sample ERC1155☆10Mar 26, 2022Updated 3 years ago
- Meeting Repository for AllERCDevs☆10Jun 26, 2024Updated last year
- Lona cross-platform code compiler☆11Jun 27, 2022Updated 3 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- Friendly GLFW bindings for V☆11Mar 6, 2022Updated 4 years ago
- ☆87Nov 9, 2014Updated 11 years ago
- CodeMirror Mode for React E4X/JSX☆11Jun 13, 2015Updated 10 years ago
- Ubuntu based Kerberos server which is compatible with LDAP (even in Docker network).☆13Jul 29, 2020Updated 5 years ago
- A implement for C coroutine☆10Apr 17, 2024Updated last year
- FFT Explorations (basic implementation)☆10Aug 8, 2014Updated 11 years ago
- Wrapper of libserialport written in V☆11Nov 21, 2021Updated 4 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- Holster syncs distributed graph data over websockets☆17Nov 28, 2025Updated 3 months ago
- A rkt-stage1 based on the Xen hypervisor☆10Feb 24, 2020Updated 6 years ago
- Source code for examples gone through for Whiteboarding And Algorithms Workshop - Wednesday Edition☆11Oct 21, 2019Updated 6 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- *ABANDONED* An unofficial Go language plugin for Light Table.☆46Mar 25, 2022Updated 3 years ago
- A pure Golang webdav implement☆16Apr 6, 2014Updated 11 years ago
- Glitch the virtual façade of any website!☆10Jan 7, 2025Updated last year
- ☆13Mar 26, 2016Updated 9 years ago
- the amazing goerli.net website☆13Dec 10, 2025Updated 2 months ago
- ☆10Feb 27, 2024Updated 2 years ago
- Documentation generator for the Go programming language☆11Apr 21, 2011Updated 14 years ago
- A protocol testing platform that simulates network conditions and peer behavior to produce programmer-friendly benchmark data☆11Jan 4, 2019Updated 7 years ago
- ☆10Feb 8, 2016Updated 10 years ago
- ☆10Jan 11, 2023Updated 3 years ago
- Advent of Code built with Redbean☆10Oct 27, 2023Updated 2 years ago
- A collection of scripts for running eth + optimism full nodes☆13Mar 15, 2023Updated 2 years ago
- #BEStartupManifesto website☆10May 9, 2015Updated 10 years ago