|
|
OCaml |
81 |
Example implementation of Arm's Architecture Specification Language (ASL) |
Aug 08, 2022 |
|
|
ASL |
2 |
Partial evaluator for Arm's Architecture Specification Language (ASL) |
Oct 27, 2023 |
|
|
Java |
5 |
Parsing tools for ARM's ASL |
Apr 04, 2023 |
|
|
Python |
5 |
Tools to process ARM's Machine Readable Architecture Specification |
Dec 04, 2021 |
|
|
Python |
2 |
Tools to process ARM's Machine Readable Architecture Specification |
Apr 02, 2021 |
|
|
Python |
102 |
Tools to process ARM's Machine Readable Architecture Specification |
May 28, 2023 |
|
|
C |
6 |
Compare ARM CPUs Against ARM's Machine Parsable Architecture Reference Manual |
Apr 08, 2020 |
|
|
JavaScript |
3 |
example implementation of microfrontend architecture |
Jun 05, 2022 |
|
|
TeX |
4 |
xBGAS Architecture Specification |
Apr 08, 2021 |
|
|
D |
6 |
Desktop Entry Specification implementation in D programming language |
Mar 25, 2022 |
|
|
D |
2 |
Icon Theme Specification implementation in D programming language |
Jan 09, 2024 |
|
|
None |
4 |
Specification for Codeless Architecture |
May 17, 2022 |
|
|
Go |
6 |
An example of Go Clean Architecture Implementation |
Apr 13, 2023 |
|
|
Python |
3 |
A python implementation of the Genome Specification Language (GSL) |
Jul 01, 2022 |
|
|
D |
2 |
XDG Base Directory Specification implementation in D programming language |
Jan 09, 2024 |
|
|
D |
2 |
MIME Applications Associations specification implementation in D programming language |
Jan 09, 2024 |
|
|
Kotlin |
313 |
Kotlin Language Specification: |
Jul 21, 2022 |
|
|
PHP |
2272 |
PHP Language Specification |
Jul 28, 2022 |
|
|
None |
2 |
PHP Language Specification |
Apr 28, 2023 |
|
|
HTML |
2 |
C# language specification |
Dec 29, 2020 |
|
|
None |
2 |
PHP Language Specification |
Mar 05, 2023 |
|
|
Python |
332 |
Ferrocene Language Specification |
Apr 26, 2023 |
|
|
VimL |
3 |
TLA+ specification language |
Sep 14, 2021 |
|
|
None |
13 |
Tact language specification |
Feb 20, 2023 |
|
|
None |
2 |
Ferrocene Language Specification |
Nov 26, 2023 |
|
|
TypeScript |
2 |
Interslavic language specification |
Apr 16, 2024 |
|
|
Go |
10 |
An example implementation for the CQRS architecture pattern |
Jan 01, 2023 |
|
|
TypeScript |
143 |
An example of clean architecture implementation with NestJS |
May 12, 2023 |
|
|
Python |
8 |
A Discord bot for learning American Sign Language (ASL) |
Jan 09, 2022 |
|
|
Go |
2 |
Sysl (pronounced "sizzle") is a system specification language - Legacy implementation |
Nov 12, 2021 |
|
|
Dart |
3 |
The Rockstar programming language specification with an implementation in Dart |
Dec 08, 2022 |
|
|
TypeScript |
336 |
An example Node.js Relying Party implementation of the WebAuthn specification |
Aug 19, 2022 |
|
|
None |
2 |
An example Node.js Relying Party implementation of the WebAuthn specification |
Oct 21, 2022 |
|
|
TeX |
5 |
🧏 Detection of the alphabets in American Sign Language (ASL). |
Nov 02, 2022 |
|
|
Rust |
41 |
Full-Stack Clean Architecture implementation example written in Rust |
May 07, 2023 |
|
|
Java |
94 |
An example of clean architecture implementation with Spring Boot |
Apr 26, 2023 |
|
|
TeX |
5 |
A Language for the Specification and Efficient Implementation of Type Systems |
Oct 05, 2022 |
|
|
None |
7 |
Finite State Language specification |
Jul 19, 2022 |
|
|
None |
9 |
Language Specification for twinBASIC |
Aug 08, 2022 |
|
|
Rust |
227 |
Metamath Zero specification language |
Aug 12, 2022 |
|
|
None |
251 |
HTML Template Language Specification |
Aug 10, 2022 |
|
|
HTML |
5 |
[WIP] Handlebars Language Specification |
Oct 21, 2022 |
|
|
None |
2 |
Smart contract specification language |
Oct 19, 2021 |
|
|
HTML |
16 |
Clincal Quality Language Specification |
Apr 12, 2022 |
|
|
None |
24 |
ECMAScript Language Specification Comparator |
Apr 17, 2022 |
|
|
TeX |
44 |
Erlang Language Specification (Draft) |
Apr 21, 2022 |
|
|
Haskell |
126 |
Smart contract specification language |
Aug 06, 2022 |
|
|
None |
4 |
The llama Language Specification |
Feb 15, 2019 |
|
|
Python |
2 |
HAROS Property Specification Language |
Mar 09, 2023 |
|
|
Makefile |
2 |
The Austral Language Specification |
Jan 06, 2023 |