|
Python |
2 |
Unified Modeling Language (UML) |
May 29, 2018 |
|
Rust |
5 |
BML Markup Language |
Mar 08, 2023 |
|
Go |
2 |
The BML Markup Language |
Jan 19, 2021 |
|
JavaScript |
6 |
Formal Verification of smart contracts, using PROMELA verification modeling language and SPIN model checker |
Oct 01, 2022 |
|
C++ |
2 |
the intent formal language |
Mar 30, 2023 |
|
None |
2 |
Lightsource Unified Modeling Environment (LUME) |
Jul 08, 2021 |
|
Java |
6 |
MontiArc is a formal component and connector architecture description language for modeling software-intensive systems. |
May 12, 2022 |
|
Python |
4 |
This is a repository for our version of a UML (Unified Modeling Language) Editor. |
Mar 17, 2023 |
|
Scala |
112 |
UCLID5: formal modeling, verification, and synthesis of computational systems |
Apr 29, 2023 |
|
Shell |
6 |
Formal semantics of the yul language |
May 16, 2022 |
|
Python |
48 |
UFL - Unified Form Language |
Jun 17, 2022 |
|
Julia |
10 |
Dolo modeling language |
Aug 19, 2022 |
|
Jupyter Notebook |
2 |
mask language modeling |
Feb 15, 2023 |
|
C |
31 |
The Basic Matrix Library (bml) |
Jun 16, 2022 |
|
PHP |
8 |
BML as a console application. |
Jan 28, 2023 |
|
Python |
4 |
Trump Twitter Bot. Uses N-Gram Language Modeling with Markov Chains |
Dec 08, 2021 |
|
Java |
2 |
A Formal Specification Language Based on Statecharts |
Oct 07, 2022 |
|
Java |
39 |
Intellij plugin for TLA+ formal specification language. |
Apr 15, 2023 |
|
TypeScript |
5 |
Generic VM-based formal language matching framework |
Dec 02, 2022 |
|
Java |
4 |
:apple: Java Unified Expression Language |
Aug 06, 2022 |
|
None |
2 |
Russian unified markup language - RUML |
Feb 21, 2023 |
|
None |
5 |
A Data Modeling Language |
Apr 27, 2022 |
|
Python |
24 |
Protocol Activity Modeling Language |
Aug 11, 2022 |
|
C++ |
106 |
MIT Language Modeling Toolkit |
Sep 06, 2022 |
|
Julia |
7 |
SpaceEx modeling language parser |
May 16, 2022 |
|
Perl |
4 |
Semantic Objects Modeling Language |
Apr 18, 2023 |
|
Python |
3 |
Earth System Modeling Language |
Nov 14, 2021 |
|
Java |
21 |
Ontological Modeling Language (OML) |
Mar 25, 2023 |
|
Java |
51 |
Generalized Language Modeling toolkit |
Jan 27, 2021 |
|
C++ |
3 |
MIT Language Modeling Toolkit |
Mar 14, 2016 |
|
Coq |
81 |
A quantum circuit language and formal verification tool |
Mar 27, 2023 |
|
OCaml |
79 |
A tool-agnostic formal specification language for OCaml. |
Sep 06, 2022 |
|
Brainfuck |
9 |
Formal semantics of the Brainfuck language in K |
Apr 05, 2023 |
|
Dockerfile |
2 |
Mirakurun + EPGStation + web-bml on Docker |
Mar 23, 2022 |
|
Python |
2 |
Pytorch reimplementation of "A Unified View of Masked Image Modeling". |
May 26, 2023 |
|
Python |
19 |
Interpretable unified language safety checking with large language models |
May 05, 2023 |
|
F* |
13 |
Fault-tolerant distributed algorithms encoded in a formal language |
Aug 24, 2022 |
|
Python |
8 |
RNN Language Modeling with PyTorch |
May 17, 2020 |
|
C |
292 |
YANG data modeling language library |
Aug 25, 2022 |
|
Python |
113 |
Language modeling of viral evolution |
Apr 07, 2023 |
|
Python |
156 |
Linked Open Data Modeling Language |
Apr 24, 2023 |
|
Python |
18 |
Link Modeling Language (LinkML) model |
Mar 31, 2023 |
|
C |
2 |
YANG data modeling language library |
Jul 25, 2016 |
|
Coq |
4 |
Modeling the Pact core language |
Apr 21, 2023 |
|
Java |
28 |
The Kyoyo Language Modeling Toolkit |
Mar 05, 2021 |
|
Python |
2 |
Examples of language modeling approaches |
Dec 17, 2022 |
|
Objective-C++ |
128 |
Formal to Formal Mathematics Benchmark |
Aug 12, 2022 |
|
JavaScript |
8 |
A tool for modeling and analyzing (Tropos like) formal goal models with Dynamic Intentions. |
Aug 19, 2022 |
|
None |
23 |
A Unified Framework for Video-Language Understanding |
Aug 01, 2022 |
|
C++ |
82 |
GUI for diagramming Unified Modelling Language (UML) |
Jul 26, 2022 |