|
|
OCaml |
11 |
Filesystem and block libraries for Mirage |
Nov 14, 2021 |
|
|
OCaml |
10 |
IO memory page library for Mirage backends |
Apr 25, 2022 |
|
|
OCaml |
7 |
A Mirage reporter for the Logs library |
Mar 12, 2023 |
|
|
Go |
15 |
mirage (github.com/acidlemon/mirage) for Amazon ECS |
Jul 14, 2023 |
|
|
Rust |
49 |
A simple library for creating "mirage tank" images. |
Mar 10, 2023 |
|
|
Python |
34 |
pythonic filesystem library |
Jan 27, 2022 |
|
|
TypeScript |
3 |
Abstract Filesystem Library |
Dec 05, 2019 |
|
|
C++ |
4 |
Fegeya Filesystem++ is Filesystem Library with Single Header |
Aug 08, 2021 |
|
|
JavaScript |
71 |
A library for handling GraphQL requests with Mirage JS |
Apr 04, 2023 |
|
|
C++ |
13 |
Mirage Unreal SDK |
Aug 04, 2022 |
|
|
TypeScript |
2 |
Mirage Tank Maker |
Dec 12, 2018 |
|
|
None |
2 |
Mirage Unreal SDK |
Sep 03, 2022 |
|
|
OCaml |
6 |
Mirage Xenstore daemon |
Feb 25, 2023 |
|
|
Python |
5 |
ensoniq mirage utilities |
Dec 30, 2022 |
|
|
OCaml |
4 |
Mirage Application Builder |
Nov 08, 2021 |
|
|
C |
80 |
Linux projected filesystem library |
Apr 28, 2022 |
|
|
Java |
25 |
Web/FileSystem Crawler Library |
Jan 21, 2023 |
|
|
Java |
6 |
Web/FileSystem Crawler Library |
Jan 28, 2023 |
|
|
Java |
4 |
Web/FileSystem Crawler Library |
Jan 28, 2016 |
|
|
Go |
3 |
A FileSystem differ library |
Aug 13, 2018 |
|
|
TypeScript |
19 |
mirage-tank online tool |
Mar 03, 2023 |
|
|
OCaml |
2 |
Block implementations for mirage |
Nov 18, 2021 |
|
|
OCaml |
12 |
Flow implementations for Mirage |
Dec 10, 2022 |
|
|
Go |
4 |
A Usermode Hookable Filesystem Library |
Jun 04, 2021 |
|
|
C |
24 |
Filesystem utility library and SDK |
Oct 22, 2021 |
|
|
Go |
40 |
A Usermode Hookable Filesystem Library |
Dec 13, 2021 |
|
|
Python |
9 |
Simple python virtual filesystem library |
Apr 22, 2020 |
|
|
OCaml |
29 |
library for network address translation intended for use with mirage unikernels |
Feb 28, 2023 |
|
|
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 |
|
|
OCaml |
4 |
Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness |
Jun 10, 2019 |
|
|
OCaml |
4 |
Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … |
Jul 20, 2022 |
|
|
OCaml |
4 |
None |
Jan 14, 2019 |