|
|
TypeScript |
16 |
Subgraph for Maker Protocol (MCD) |
Aug 30, 2022 |
|
|
C# |
2586 |
High Level API Components for Runtime NavMesh Building |
Aug 08, 2022 |
|
|
C# |
6 |
High Level API Components for Runtime NavMesh Building |
Nov 16, 2020 |
|
|
C# |
2 |
High Level API Components for Runtime NavMesh Building |
Jul 23, 2019 |
|
|
None |
22 |
High Level API Components for Runtime NavMesh Building |
May 28, 2023 |
|
|
Java |
36 |
Runtime verification system for Java, using AspectJ for instrumentation. |
Jun 26, 2022 |
|
|
Coq |
115 |
A Platform for High-Level Parametric Hardware Specification and its Modular Verification |
Aug 10, 2022 |
|
|
Python |
2 |
High-level messaging system for pytroll. |
May 21, 2022 |
|
|
C |
176 |
high-level Capstone system bindings for Rust |
May 10, 2023 |
|
|
R |
18 |
High-level R bindings for the DuckDB Database Management System |
Aug 08, 2022 |
|
|
Julia |
182 |
Visual Map Maker and Level Editor for the game Celeste |
May 08, 2023 |
|
|
CSS |
13 |
High-level bindings for wasi-nn system calls |
Jun 15, 2022 |
|
|
JavaScript |
192 |
A high level persistance/database system for node.js |
Jul 19, 2022 |
|
|
CSS |
2 |
High-level bindings for wasi-nn system calls |
Nov 25, 2023 |
|
|
GDScript |
2 |
High level abstraction layer for Godot's input system. |
Aug 08, 2023 |
|
|
Rust |
10 |
Low and high level parsing of system timezone files. |
Aug 21, 2022 |
|
|
Ruby |
2551 |
Patch-level verification for Bundler |
May 09, 2023 |
|
|
JavaScript |
4 |
A high level module for using Node.js as a Socket Runtime backend |
Jan 13, 2023 |
|
|
Rust |
8 |
High-level and low-level ZBar binding for the Rust language. |
Apr 21, 2023 |
|
|
Common Lisp |
108 |
The People's Verification System |
Apr 04, 2023 |
|
|
HTML |
2 |
Reference documentation for Maker and the Dai Credit System |
Sep 22, 2021 |
|
|
HTML |
2 |
FSDF - Foundation Base Spatial Data - Linked Data - High level models, information, etc |
Feb 02, 2023 |
|
|
PHP |
5 |
A common foundation for building websites for the Emergence runtime |
Jan 31, 2023 |
|
|
Erlang |
11 |
A runtime verification tool for Erlang systems |
Aug 10, 2022 |
|
|
Python |
138 |
:computer: :wrench: high-level file-system operations for lazy devs. |
Apr 22, 2023 |
|
|
C++ |
8 |
An integrated system for hardware drivers, hardware communication, low-level control, high-level control, and simulation for … |
Apr 15, 2022 |
|
|
JavaScript |
3402 |
High-level streams library for Node.js and the browser |
Aug 08, 2022 |
|
|
Python |
12 |
Basic, high-level and efficient CLI for discovering, outputting and parsing hardware information from the current … |
May 19, 2022 |
|
|
Scala |
158 |
The Leon system for verification, synthesis, repair |
Apr 09, 2023 |
|
|
Python |
12 |
A system for reading scanned documents and grouping them into high level topics |
May 27, 2023 |
|
|
ActionScript |
2 |
Snail bob maker is a free and open source level maker for the old flash … |
Aug 26, 2022 |
|
|
TypeScript |
10 |
The Zcash Foundation Grant System |
Jul 13, 2021 |
|
|
None |
2 |
Dump, manipulate and hijack any IL2CPP application at runtime with a high level of abstraction. |
Mar 24, 2022 |
|
|
JavaScript |
8 |
Design Tokens for the Foundation Design System |
Aug 12, 2022 |
|
|
JavaScript |
6 |
Certificate Verification and Generation System for IIITV |
Apr 08, 2023 |
|
|
Java |
4 |
eMOP: A Tool for Evolution-Aware Runtime Verification |
Jan 21, 2023 |
|
|
Python |
5 |
The Quingo Runtime System |
Feb 28, 2022 |
|
|
Go |
45 |
High-level canvas for the fyne package |
Jul 30, 2022 |
|
|
Python |
416 |
High-level build system for distributed, multi-platform C/C++ projects. |
Jul 30, 2022 |
|
|
C |
29 |
High-level interface for low-level programming |
Aug 13, 2022 |
|
|
JavaScript |
55 |
High-level p2p OpenStreetMap database for node and the browser |
Nov 03, 2021 |
|
|
None |
15 |
high level thoughts and issues for the future of cabal |
Sep 26, 2022 |
|
|
TypeScript |
5 |
High-level API and CLI for Airtable |
Jan 25, 2023 |
|
|
None |
7 |
Academy Software Foundation foundation level resources, such as the charter, FAQ about the project, and … |
Aug 11, 2022 |
|
|
CSS |
9 |
Web Client for the "Verify" document verification system |
May 24, 2021 |
|
|
D |
659 |
Low level runtime library for the D programming language |
Jul 28, 2022 |
|
|
D |
2 |
Low level runtime library for the D programming language |
Sep 25, 2014 |
|
|
D |
2 |
Low level runtime library for the D programming language |
Aug 24, 2016 |
|
|
None |
2 |
Low level runtime library for the D programming language |
Nov 17, 2021 |
|
|
None |
2 |
Low level runtime library for the D programming language |
Nov 17, 2021 |