|
|
Coq |
8 |
An unofficial mirror of Why3 (http://why3.lri.fr/) |
Oct 06, 2021 |
|
|
Go |
36 |
tools to interact with WASM files |
Aug 17, 2022 |
|
|
Python |
10 |
Tools to interact with Siemens PLCs |
Sep 06, 2022 |
|
|
HTML |
2 |
Tools to interact with https://supersciencegrl.co.uk |
Jul 10, 2022 |
|
|
TypeScript |
7 |
Tools to interact with YodaOS devices 🛠|
Apr 06, 2021 |
|
|
Python |
40 |
Tools to interact with github from Odoo |
Jul 23, 2022 |
|
|
Python |
23 |
Tools to interact with Odoo using Selenium |
Sep 24, 2021 |
|
|
R |
13 |
R tools to interact with hap.py output |
Feb 23, 2023 |
|
|
Dockerfile |
2 |
Container with DevOps tools to interact with the infrastructure |
Dec 01, 2021 |
|
|
Haskell |
4 |
Haskell support for the Why3 input format |
Dec 30, 2019 |
|
|
OCaml |
7 |
A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs … |
Sep 06, 2022 |
|
|
None |
8 |
tools to interact with websites, feeds and im |
Apr 08, 2022 |
|
|
Python |
2 |
Tools to interact with SVI Huygens from Python |
Feb 22, 2023 |
|
|
Python |
18 |
Collection of useful tools to interact with openbmc |
Dec 18, 2021 |
|
|
OCaml |
19 |
SPARK 2014 repository for the Why3 verification platform. |
Nov 16, 2022 |
|
|
D |
2 |
Tools to interact with Stellar-formatted, Ed25519 key pairs |
Mar 24, 2021 |
|
|
Python |
2 |
Set of tools to interact with Facebook via APIs |
Mar 27, 2020 |
|
|
Go |
49 |
simple golang API and tools to interact with czds.icann.org |
Oct 07, 2022 |
|
|
Python |
115 |
Basic Python 3 tools to interact with UMLS lexica |
Apr 27, 2023 |
|
|
Go |
29 |
Sandstorm Kubernetes Client - Convenience tools to interact with Kubernetes |
Feb 08, 2023 |
|
|
Ruby |
8 |
A command line interface to interact with project management tools. |
Aug 13, 2019 |
|
|
C |
2 |
Library and Tools to interact with Edge Virtualization Engine(EVE) |
Jun 18, 2022 |
|
|
Julia |
15 |
Tools to interact with MITgcm (setup, run, output, plot, etc) |
May 31, 2022 |
|
|
Go |
69 |
Library and tools to interact with and analyze Tor HSDirs. |
Apr 17, 2022 |
|
|
Python |
38 |
Tools to connect to and interact with the Mila cluster |
Apr 09, 2023 |
|
|
TypeScript |
2 |
Typescript package to interact with a mobilizon-instance + some tools |
Dec 15, 2022 |
|
|
Shell |
7 |
💻 Useful tools that I created to interact with Jamf |
Apr 28, 2023 |
|
|
None |
2 |
Notes and tools derived from reading groups sessions |
Jul 19, 2021 |
|
|
PHP |
9 |
A collection of PHP tools to interact with the Steem blockchain. |
Apr 05, 2020 |
|
|
Python |
3 |
Just a collection of small scripts that interact with different tools |
Oct 31, 2021 |
|
|
Ruby |
7 |
Simple client & tools to interact with the API of http://www.dovico.com/ |
May 11, 2021 |
|
|
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 |
|
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |
|
|
OCaml |
4 |
None |
Apr 01, 2019 |
|
|
OCaml |
4 |
Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … |
Mar 09, 2020 |
|
|
OCaml |
4 |
Wrapper on top of libsvm-tools |
Nov 16, 2021 |
|
|
OCaml |
4 |
Ocaml Learning |
Dec 29, 2015 |
|
|
OCaml |
4 |
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents |
Sep 01, 2021 |
|
|
OCaml |
4 |
testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that |
Aug 03, 2020 |
|
|
OCaml |
4 |
Tools for making, manipulating, and viewing cross-stitch patterns. |
Feb 03, 2022 |