Pinned Repositories
AlpineLang
The Alpine language
ApplyStudioProjectTemplateSimplified
BindingsMFDD
Blinder
DDKit
Pure Swift library of Decision Diagrams.
Diesel
A Swift library to write parsers for domain specific languages.
HeroNets
language-alpine
Atom Syntax Highlighting
LogicKit
A Prolog-like language as a Swift Embedded Domain Specific Language.
mcc-examples
damdamo's Repositories
damdamo/HeroNets
damdamo/language-alpine
Atom Syntax Highlighting
damdamo/modeling-verification
Modeling and Verification
damdamo/Rymotion
Projet IHM
damdamo/tp2_web_semantique
TP2 de web sémantique
damdamo/AlpineLang
The Alpine language
damdamo/ApplyStudioProjectTemplateSimplified
damdamo/BindingsMFDD
damdamo/Blinder
damdamo/DDKit
Pure Swift library of Decision Diagrams.
damdamo/Diesel
A Swift library to write parsers for domain specific languages.
damdamo/LogicKit
A Prolog-like language as a Swift Embedded Domain Specific Language.
damdamo/mcc-examples
damdamo/METLN
TP méthodes empiriques et traitement de la langue naturel
damdamo/modelisation-verification-1
Cours de Master: Modélisation et Vérification
damdamo/PetriKit
PetriNet toolset for swift
damdamo/promise-concurrency
damdamo/ProofKit
ADT and Proof editor
damdamo/Ruki
Master project in knowledge engineering
damdamo/SDL-plugin-hello-world
A simple Trados plugin to display a "Hello World" message inside a window form
damdamo/SIDD
damdamo/SVSBenchmarks
damdamo/SVSKit
damdamo/SVSKit-mcc-2024
damdamo/swift-pnml-framework
damdamo/swift-thoughts
Swift Tutorial
damdamo/swift-xml-import-test
damdamo/SwiftKanren
A Swift implementation of miniKanren.
damdamo/team-smv
Team "Semantics, Modeling & Verification"
damdamo/Teri
Teri is a library for term rewriting using strategies.