|
|
OCaml |
4 |
[unfinished] structured, hierarchical log system for OCaml |
Dec 01, 2021 |
|
|
OCaml |
5 |
[unfinished] Chord DHT implementation in OCaml (not production-ready) |
Sep 04, 2021 |
|
|
R |
2 |
Tools for Quantile-Parametrized Distribiutions |
Apr 11, 2023 |
|
|
R |
26 |
Parametrized active bindings |
Aug 01, 2018 |
|
|
Haskell |
2 |
A core calculus for parametrized modules |
Dec 05, 2019 |
|
|
TypeScript |
15 |
Parametrized CRUD repository abstraction for Knex.js |
Aug 19, 2022 |
|
|
Python |
2 |
Utility HTCondor Submitter for Parametrized Studies |
Jul 14, 2023 |
|
|
C# |
5 |
A parametrized string library! |
Mar 02, 2023 |
|
|
Java |
2 |
Software for the underlying heavy lifting |
Nov 03, 2016 |
|
|
Python |
4 |
Parametrized oracle for computing the ROD (ratio of optimal decisions) |
Sep 30, 2022 |
|
|
Python |
3 |
unfinished ... |
May 03, 2019 |
|
|
Java |
2 |
Unfinished |
Apr 23, 2023 |
|
|
Python |
2 |
unfinished |
Jan 13, 2024 |
|
|
Rust |
13 |
🛶 Lean parametrized testing library for Rust |
May 06, 2022 |
|
|
Lua |
4 |
Unfinished voxel renderer for the TI-Nspire |
May 25, 2022 |
|
|
C++ |
2 |
Unfinished Love2d port for the Playstation Vita |
Jan 15, 2022 |
|
|
C |
10 |
Fuzz testing for the SCAN underlying algorithm |
Jun 14, 2021 |
|
|
Python |
5 |
Underlying package for the 10-line cta |
Mar 01, 2023 |
|
|
C++ |
19 |
The underlying core library for zkPoD system |
Apr 01, 2022 |
|
|
Python |
4 |
Underlying pyworkflow module for the Scipion framework |
Jan 31, 2023 |
|
|
TypeScript |
4 |
Remotion video showing parametrized rendering |
Apr 29, 2022 |
|
|
Python |
5 |
Draws cycloids on parametrized curves |
Jan 22, 2023 |
|
|
Java |
3 |
The Unfinished Tron Minecraft Mod |
Dec 01, 2021 |
|
|
MATLAB |
6 |
Models underlying the iCub Firmware |
May 26, 2022 |
|
|
Python |
3 |
The web is built for the Auto-DJ.(Unfinished) |
Oct 13, 2022 |
|
|
Julia |
3 |
Underlying engine for LanguageServer.jl |
Feb 27, 2023 |
|
|
JavaScript |
26 |
A repository for the data underlying the FedRamp Dashboard |
May 27, 2022 |
|
|
Python |
13 |
A very unfinished emulator for the Panic Playdate |
Apr 30, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_6 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_4 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_8 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_9 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_1 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_2 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_7 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_4 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_5 |
Apr 11, 2023 |
|
|
Dart |
3 |
Unfinished BMI_CALCULATOR_PART_3 |
Apr 11, 2023 |
|
|
C++ |
4 |
A library used for abstracting the underlying platform |
Oct 03, 2021 |
|
|
None |
4 |
Underlying content for the Molecular Oncology Almanac's database |
Oct 23, 2022 |
|
|
C |
6 |
The OCaml-Canvas library provides a portable Canvas for OCaml |
Nov 08, 2022 |
|
|
OCaml |
6 |
A theorem prover for the temporal parametrized verification of concurrent data types |
Dec 31, 2019 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |