|
|
Java |
4 |
Demos for the Checker Framework |
Apr 23, 2022 |
|
|
Java |
3 |
A template for a Checker Framework checker hosted outside the main typetools/checker-framework repository. |
Dec 22, 2021 |
|
|
Java |
34 |
Static checker for Rx Threading Effects, based on the Checker Framework |
May 28, 2022 |
|
|
Java |
2 |
Reads stub files for the Checker Framework |
Nov 16, 2021 |
|
|
TypeScript |
2 |
Checker Framework for VS Code |
Jan 24, 2022 |
|
|
Groovy |
9 |
Gradle plugin to use the Checker Framework for Java. |
Mar 14, 2023 |
|
|
Groovy |
48 |
Gradle plugin to use the Checker Framework for Java |
May 17, 2023 |
|
|
PHP |
5 |
Slim Framework - Prerequisite Checker |
Mar 12, 2022 |
|
|
Python |
2 |
Checker Framework Live Demo |
Mar 02, 2022 |
|
|
Java |
3 |
Checker Framework Language Server |
Aug 28, 2023 |
|
|
Lua |
2 |
A grilling resource for the FiveM framework QBCore. |
Aug 04, 2022 |
|
|
C |
107 |
core services for the Flux resource management framework |
Aug 30, 2022 |
|
|
Lua |
5 |
FiveM resource for ESX framework |
Jan 27, 2023 |
|
|
PHP |
10 |
[READ-ONLY] Checker component of the JWT Framework |
Jan 14, 2023 |
|
|
Java |
2 |
The LTL Checker, a ProM framework plug-in |
Dec 17, 2019 |
|
|
JavaScript |
139 |
drachtio signaling resource framework |
Apr 18, 2023 |
|
|
Java |
2 |
Resource Lifecycle Management framework |
Dec 08, 2023 |
|
|
JavaScript |
4 |
AngularJS Resource Adapter for the Python Eve REST API Framework |
Feb 13, 2021 |
|
|
C++ |
3 |
Automatic Instrumentation for Resource Adjustment (AIRA) framework |
Feb 24, 2020 |
|
|
Rust |
40 |
Lightweight logging framework for resource constrained devices |
Mar 12, 2023 |
|
|
Go |
8 |
Generalized resource reconciliation framework by pluggable resource controller binaries. |
Mar 04, 2023 |
|
|
PHP |
237 |
A resource-oriented application framework |
Oct 17, 2022 |
|
|
Java |
12 |
Resource Server on Spring Framework |
Jan 14, 2021 |
|
|
Java |
3 |
An Introduction to Android's Spelling Checker Framework |
Feb 08, 2018 |
|
|
JavaScript |
4 |
The frontend for the honeypot checker |
Feb 23, 2022 |
|
|
Elixir |
573 |
A resource based framework for building Elixir applications |
Aug 29, 2022 |
|
|
Lua |
2 |
ATM Heist resource for FiveM, QBCore, BJJ Framework |
Aug 10, 2022 |
|
|
HCL |
16 |
Cloud Resource Provisioning framework for IBM Spectrum Scale |
Jul 05, 2022 |
|
|
JavaScript |
10 |
A lightweight, resource-based API framework for node.js |
Aug 13, 2019 |
|
|
C# |
7 |
A simple resource loading framework for .NET games |
Jan 12, 2023 |
|
|
JavaScript |
2 |
A simple FiveM notification resource for use with the QB-Core Framework |
Oct 18, 2023 |
|
|
Java |
131 |
Spring Framework 4.1 Resource Handling example |
Aug 06, 2022 |
|
|
PHP |
411 |
A resource-oriented micro PHP framework |
Oct 16, 2022 |
|
|
JavaScript |
30 |
The dependency checker |
Aug 08, 2020 |
|
|
Python |
168 |
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement |
Apr 21, 2023 |
|
|
Ruby |
2 |
Resource-oriented open source Ruby framework for Web apps. |
Aug 13, 2019 |
|
|
Ruby |
3 |
A comprehensive resource modelling and querying framework for ActionController. |
Aug 13, 2019 |
|
|
Ruby |
110 |
Latinum is a framework for resource and currency calculations. |
Jun 09, 2022 |
|
|
Python |
3 |
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement |
Apr 05, 2019 |
|
|
Ruby |
2 |
Rails plugin for a generic actor/resource permissions framework |
Aug 13, 2019 |
|
|
Java |
2 |
A Bukkit framework for using Resource Packs in plugins. |
Apr 23, 2023 |
|
|
Python |
5 |
AnkiAddon: Spell checker for the editor |
Feb 06, 2022 |
|
|
JavaScript |
16 |
The Strobe Type Checker for JavaScript |
Apr 24, 2022 |
|
|
Erlang |
66 |
The McErlang model checker for Erlang |
Jun 30, 2021 |
|
|
Python |
2 |
AnkiAddon: Spell checker for the editor |
Oct 03, 2023 |
|
|
Java |
2 |
The CloudFormation Resource Provider Package For AWS Resource Explorer |
Nov 10, 2022 |
|
|
TypeScript |
5 |
A resource-oriented web framework in TypeScript |
Sep 25, 2022 |
|
|
C |
2 |
The AdaCore style checker |
Jan 05, 2022 |
|
|
Scala |
58 |
The Eldarica model checker |
Apr 27, 2023 |
|
|
OCaml |
13 |
The Cubicle model checker |
Apr 25, 2023 |