gallais / Generic Syntax
Licence: gpl-3.0
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Stars: ✭ 55
Projects that are alternatives of or similar to Generic Syntax
Superpoint graph
Large-scale Point Cloud Semantic Segmentation with Superpoint Graphs
Stars: ✭ 533 (+869.09%)
Mutual labels: semantic
Emofishes
Emofishes is a collection of proof of concepts that help improve, bypass or detect virtualized execution environments (focusing on the ones setup for malware analysis).
Stars: ✭ 11 (-80%)
Mutual labels: proof
Shipjs
Take control of what is going to be your next release.
Stars: ✭ 668 (+1114.55%)
Mutual labels: semantic
Idris Insertion Sort
Provably correct implementation of insertion sort in Idris.
Stars: ✭ 24 (-56.36%)
Mutual labels: proof
Scalameta
Library to read, analyze, transform and generate Scala programs
Stars: ✭ 879 (+1498.18%)
Mutual labels: semantic
Keymaerax Release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Stars: ✭ 49 (-10.91%)
Mutual labels: proof
Dblib Linear
Formalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-81.82%)
Mutual labels: proof
Standard Version
🏆 Automate versioning and CHANGELOG generation, with semver.org and conventionalcommits.org
Stars: ✭ 5,806 (+10456.36%)
Mutual labels: semantic
Ieml
IEML semantic language - a meaning-representation system based on semantic primitives and a regular grammar. Basic semantic relationships between concepts are automatically computed from syntactic similarities.
Stars: ✭ 41 (-25.45%)
Mutual labels: semantic
Multi Human Parsing
🔥🔥Official Repository for Multi-Human-Parsing (MHP)🔥🔥
Stars: ✭ 507 (+821.82%)
Mutual labels: semantic
Kittiseg
A Kitti Road Segmentation model implemented in tensorflow.
Stars: ✭ 873 (+1487.27%)
Mutual labels: semantic
Automatic Release
Automates the release process for GitHub projects.
Stars: ✭ 46 (-16.36%)
Mutual labels: semantic
Hashapi Lib Node
Tierion Hash API client library for Node.js
Stars: ✭ 20 (-63.64%)
Mutual labels: proof
generic-syntax
A self-contained repository for the paper A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
Typechecking
To check this development, you'll need:
- Agda 2.6.0.1
- Agda's Standard Library 1.2
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].