|
Java |
2 |
Modelling framework |
Feb 09, 2023 |
|
Coq |
477 |
Cryptographic Primitive Code Generation by Fiat |
Aug 06, 2022 |
|
Go |
150 |
Cryptographic Addition Chain Generation in Go |
Sep 04, 2022 |
|
Coq |
2 |
Cryptographic Primitive Code Generation by Fiat |
Mar 10, 2022 |
|
Coq |
2 |
Cryptographic Primitive Code Generation by Fiat |
Apr 06, 2023 |
|
Coq |
2 |
Cryptographic Primitive Code Generation in Fiat |
Jun 29, 2023 |
|
Python |
85 |
Loss modelling framework. |
Aug 22, 2022 |
|
Python |
5 |
FRIDGR dataset generation |
Jul 25, 2022 |
|
Python |
2 |
Dataset generation app |
Apr 21, 2023 |
|
Python |
3 |
Cryptographic utilities for Emmett framework |
Jan 16, 2023 |
|
PHP |
90 |
Cryptographic component from Zend Framework |
May 22, 2023 |
|
R |
664 |
Quantitative Financial Modelling Framework |
Aug 28, 2022 |
|
Python |
18 |
Simulation Modelling Integration Framework |
Mar 24, 2022 |
|
C++ |
3 |
Modular Hydrological Modelling Framework |
Nov 21, 2023 |
|
Python |
4 |
LIQUID: A Framework for List Question Anwering Dataset Generation (AAAI 2023) |
May 09, 2023 |
|
Java |
5 |
Key pair generation and cryptographic signing using biometrics |
Dec 15, 2022 |
|
JavaScript |
7 |
A cryptographic tool for the deterministic generation of unique user IDs, and NaCl cryptographic keys |
Nov 14, 2021 |
|
Python |
4 |
A framework for actuarial modelling. |
Mar 20, 2023 |
|
Ruby |
11 |
System traces dataset generation tool. |
Sep 04, 2022 |
|
Python |
5 |
Chinese question generation, dureaderQG dataset |
Nov 21, 2022 |
|
Scala |
7 |
Mammoth: Web-scale topic modelling for the ClueWeb dataset |
Mar 10, 2021 |
|
Python |
23 |
Code for PENS: A Dataset and Generic Framework for Personalized News Headline Generation |
Jul 11, 2022 |
|
Python |
6 |
A compartmental disease modelling framework (Python) |
May 13, 2022 |
|
C++ |
2 |
Surrogate Parameterised Respiratory Motion Modelling Framework |
Sep 17, 2021 |
|
Java |
2 |
Topic modelling framework by Online LDA |
Nov 20, 2019 |
|
Java |
17 |
OWASP Ontology-driven Threat Modelling framework |
Aug 03, 2022 |
|
R |
35 |
A phenology modelling framework in R |
May 16, 2022 |
|
R |
11 |
Modelling framework for creating Integrated SDMS |
Apr 05, 2023 |
|
Python |
2 |
Framework for modelling SR competition games. |
Dec 22, 2013 |
|
R |
7 |
Framework for cost modelling in R |
Nov 20, 2021 |
|
Modelica |
6 |
A Modelica library for thermal power generation system modelling |
Jul 20, 2022 |
|
Python |
56 |
Open Energy Modelling Framework - Python toolbox for energy system modelling and optimisation |
Oct 12, 2022 |
|
Python |
2 |
Contests based Dataset for Code Generation |
Jan 02, 2023 |
|
Python |
24 |
question generation model with KorQuAD dataset |
Jun 30, 2022 |
|
Jupyter Notebook |
4 |
Data tidying, cleaning, modelling and exploration of the OpenFoodFacts dataset |
Feb 21, 2022 |
|
C |
2 |
LKCF(Linux Kernel Cryptographic Framework) based openssl engine. |
Dec 17, 2022 |
|
Ada |
13 |
A cryptographic framework, proven for correctness in SPARK |
Jan 31, 2023 |
|
MATLAB |
5 |
A tutorial on mesh generation for geoscientific modelling using JIGSAW. |
Apr 14, 2023 |
|
Ruby |
7 |
RBI generation framework |
Jul 27, 2022 |
|
Visual Basic |
5 |
Payload Generation Framework |
Jun 09, 2022 |
|
Visual Basic |
2 |
Payload Generation Framework |
May 21, 2019 |
|
Java |
2 |
World generation framework |
Sep 29, 2020 |
|
None |
2 |
Payload Generation Framework |
Jan 26, 2023 |
|
Visual Basic |
1616 |
Payload Generation Framework |
May 21, 2023 |
|
VBA |
25 |
Payload Generation Framework |
May 12, 2023 |
|
Java |
5 |
Java framework for Markov-chain (MC) modelling |
Jan 25, 2022 |
|
C++ |
13 |
A framework for statistical modelling in C++. |
Aug 19, 2022 |
|
Python |
216 |
A multi-scale energy systems modelling framework |
Apr 25, 2023 |
|
Python |
2 |
Open source framework for ocean trajectory modelling |
Feb 10, 2023 |
|
Python |
182 |
Open source framework for ocean trajectory modelling |
Apr 19, 2023 |