-
ontouml-js Public
Forked from OntoUML/ontouml-jsJavascript library for manipulating OntoUML models.
TypeScript Apache License 2.0 UpdatedOct 18, 2023 -
webauthn-spring Public
Forked from asaikali/webauthn-springExamples showing how to use FIDO / WebAuthn with Spring and Spring Authorization Server
Java UpdatedSep 30, 2023 -
ontouml-server Public
Forked from OntoUML/ontouml-serverThe OntoUML Server is a web service project designed to expose OntoUML-based features on the Web.
TypeScript Apache License 2.0 UpdatedDec 11, 2022 -
-
rust-pi-forall Public
Forked from sourcedennis/rust-pi-forallA partial re-implementation of pi-forall in Rust
Rust UpdatedOct 5, 2022 -
ufo-protege-plugin Public
Forked from nemo-ufes/ufo-protege-pluginA plugin for Protégé that checks gUFO-based ontologies for adherence to UFO rules
Java GNU General Public License v3.0 UpdatedMay 20, 2021 -
pikelet Public
Forked from pikelet-lang/pikeletA friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Rust Apache License 2.0 UpdatedMay 16, 2021 -
voile-rs Public
Forked from owo-lang/voile-rsDependently-typed row-polymorphic programming language, evolved from minitt-rs
Rust Apache License 2.0 UpdatedSep 21, 2020 -
minitt-rs Public
Forked from owo-lang/minitt-rsDependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Rust Apache License 2.0 UpdatedSep 21, 2020 -
lsp-example Public
Forked from scalameta/lsp-exampleMinimal example to get started with implementing a language server in Scala
TypeScript UpdatedAug 19, 2020 -
silt Public
Forked from silt-lang/siltAn in-progress fast, dependently typed, functional programming language implemented in Swift.
Swift MIT License UpdatedJul 2, 2019 -
yale-haskell Public
Forked from haskell-lisp/yale-haskellHASKELL: Yale Haskell system written in Lisp
Scheme Other UpdatedJan 16, 2014
{{ message }}