|
JavaScript |
137 |
Graphical language server platform for building web-based diagram editors |
Dec 01, 2022 |
|
Java |
36 |
Graphical language server platform for building web-based diagram editors |
Apr 19, 2022 |
|
Python |
39 |
ASCII diagram language & generator for UML sequence diagram. |
Apr 11, 2023 |
|
None |
5 |
Instructions for building dyld_shared_cache_util |
Sep 29, 2021 |
|
PHP |
3 |
Generate a Class Diagram from Parse Objects |
Oct 27, 2022 |
|
Python |
2 |
Feynman diagram markup language |
Jan 15, 2024 |
|
None |
19 |
Building Social Proof |
Aug 04, 2022 |
|
Dockerfile |
14 |
Dockerfile and instructions for building Mitsuba |
Dec 08, 2022 |
|
Rust |
649 |
A language for Geometry Dash triggers |
Apr 26, 2023 |
|
None |
2 |
Instructions+patches for building GHC for Haiku |
May 29, 2023 |
|
None |
2 |
Instructions+patches for building GHC for Haiku |
Feb 07, 2024 |
|
TypeScript |
29 |
Draw flowchart, sequence diagram, class diagram, user journey, gantt, C4C diagram with nature language. |
Apr 12, 2023 |
|
Jupyter Notebook |
2 |
Reflexions, proof of concepts, materials about epipolar geometry |
May 17, 2020 |
|
None |
2 |
Schema for Geometry Description Markup Language (GDML) |
Mar 23, 2024 |
|
Python |
2 |
A simple flow-diagram markup language. |
Nov 17, 2021 |
|
Python |
17 |
The first end-to-end deep learning model for explicit plane geometry diagram parsing. |
Mar 13, 2023 |
|
TypeScript |
8 |
Tool for building Proof of existence PoCs |
May 25, 2021 |
|
JavaScript |
46 |
Building generic merkle proof format for IBC |
Aug 09, 2022 |
|
HTML |
3 |
Web-grounded natural language instructions |
Oct 14, 2023 |
|
JavaScript |
2563 |
A modern proof language |
Aug 21, 2022 |
|
JavaScript |
3 |
A modern proof language |
Apr 12, 2023 |
|
JavaScript |
185 |
A minimal proof language. |
Apr 03, 2023 |
|
JavaScript |
14 |
Minimal, efficient proof language |
Aug 03, 2022 |
|
JavaScript |
5 |
An efficient proof language |
Oct 17, 2021 |
|
JavaScript |
2 |
Convert mermaid diagram description language to GraphML |
Aug 18, 2019 |
|
F# |
3 |
Interactive Hardware Description Language/Block Diagram Editor |
Mar 06, 2022 |
|
Go |
21 |
Application to streamline diagram generation using plain English instructions instead of code |
Apr 14, 2023 |
|
None |
67 |
Instructions for building gnumake.exe as a native windows application |
Apr 24, 2023 |
|
None |
146 |
Instructions for building sed.exe as a native windows application |
Apr 24, 2023 |
|
JavaScript |
6 |
A proof-of-concept for building CSS polyfills |
Nov 24, 2020 |
|
Python |
2 |
GPAW code building instructions and benchmark data |
May 28, 2020 |
|
Haskell |
13 |
Web app written in Haskell (GHCJS) for visualizing building geometry |
Nov 26, 2020 |
|
Python |
3 |
Image Building Service Proof of Concept |
Jan 30, 2017 |
|
Rust |
6 |
Proof of concept for a ZK snark-based VM running Aleo Instructions. |
Feb 17, 2023 |
|
JavaScript |
848 |
3d building geometry viewer based on OpenStreetMap data |
May 24, 2023 |
|
JavaScript |
4 |
OpenStreetMap building geometry on 2D and 3D maps |
Feb 01, 2021 |
|
VHDL |
3 |
Proof-of-concept CPU where the instructions are hamming codes |
Jan 25, 2022 |
|
Rust |
3 |
Parse building schedules from PDF files |
Jan 15, 2023 |
|
TypeScript |
31 |
A language for building cross-language DSL |
May 10, 2022 |
|
None |
2 |
visualize feature models with the penrose diagram language |
Mar 07, 2023 |
|
F* |
2314 |
A Proof-oriented Programming Language |
Oct 20, 2022 |
|
JavaScript |
6 |
Store, serialize, parse, and execute sequences of canvas context instructions. |
Feb 06, 2022 |
|
Elixir |
3 |
parse the accept-language header |
Apr 13, 2019 |
|
Haskell |
46 |
👅 Parse Haskell Language Extensions |
Apr 01, 2023 |
|
Shell |
202 |
Step by step instructions for building Docker images with Windows |
Sep 23, 2022 |
|
HTML |
16 |
A tutorial for building a Proof of Stake cryptocurrency |
Aug 06, 2022 |
|
Python |
10 |
A Corpus of Natural Language Instructions for Collaborative Manipulation |
Apr 01, 2023 |
|
None |
3 |
🗺 Planning around designing a diagram language for visualizing computer code |
Mar 27, 2023 |
|
C++ |
2 |
rasterizing 3D geometry in the debug console as a proof of concept |
Jun 04, 2022 |
|
Rust |
2 |
A tactics-based Metamath proof language |
Feb 25, 2023 |