|
Haskell |
3 |
System F implementation in Haskell |
Feb 19, 2023 |
|
Haskell |
11 |
Haskell implementation of a Markup processing system. |
May 04, 2017 |
|
Haskell |
124 |
Unified Haskell interface for basic file system notifications |
Aug 14, 2022 |
|
Rust |
2 |
File system implementation for the Internet Computer |
Apr 17, 2023 |
|
JavaScript |
225 |
File system, based on the spec reference implementation |
Aug 08, 2022 |
|
C |
3 |
Free exFAT file system implementation |
Sep 07, 2020 |
|
Java |
3 |
File System Implementation with Java |
May 23, 2023 |
|
Coq |
31 |
An implementation of the Haskell ByteString library using the Fiat system from MIT |
Apr 04, 2022 |
|
TypeScript |
4 |
A small file system implementation for the Jupiter blockchain |
Nov 22, 2021 |
|
TypeScript |
2 |
A small file system implementation for the Jupiter blockchain |
Apr 13, 2023 |
|
Java |
2 |
An in-memory implementation of the Hadoop file-system |
Aug 11, 2020 |
|
JavaScript |
3 |
An in-memory file system implementation |
Jan 01, 2021 |
|
JavaScript |
14 |
Datastore implementation with file system backend |
Mar 04, 2022 |
|
VimL |
3 |
Haskell indent file |
Sep 16, 2014 |
|
VimL |
2 |
Haskell Syntax File |
Nov 24, 2022 |
|
Haskell |
5 |
Haskell implementation of the Bitcoin protocol |
Aug 29, 2018 |
|
Haskell |
7 |
Haskell implementation of the BoGL language |
Dec 13, 2021 |
|
Haskell |
3 |
Haskell implementation of the RANSAC algorithm. |
Mar 06, 2020 |
|
Haskell |
84 |
Haskell implementation of the wayland protocol |
Aug 09, 2022 |
|
Haskell |
4 |
Haskell implementation of the bip39 protocol |
Mar 17, 2021 |
|
Haskell |
2 |
Haskell implementation of the RememberTheMilk API |
Dec 05, 2019 |
|
Haskell |
128 |
Haskell implementation of MessagePack / msgpack.org[Haskell] |
Aug 02, 2022 |
|
Java |
3 |
Transactional implementation of Jena's DatasetGraph backed by the file system |
May 21, 2022 |
|
Go |
120 |
A simple implementation of the Google File System in golang |
Aug 10, 2022 |
|
Haskell |
2 |
📘 | Simple type system repl the paper Typing Haskell in Haskell |
Jan 27, 2023 |
|
Haskell |
6 |
Haskell Multiaddr Implementation |
Jul 30, 2022 |
|
Haskell |
5 |
Haskell DSA implementation. |
Dec 05, 2019 |
|
Haskell |
2 |
Multihash Haskell implementation |
Jul 29, 2020 |
|
Haskell |
2 |
Haskell macaroons implementation |
Jan 05, 2019 |
|
Haskell |
23 |
Multihash Haskell implementation |
Aug 09, 2022 |
|
Haskell |
73 |
Haskell Protobuf Implementation |
Aug 13, 2022 |
|
Haskell |
3 |
Haskell FIRRTL implementation |
May 10, 2019 |
|
CSS |
2 |
Pubsubhubbub Haskell implementation |
Dec 30, 2014 |
|
C |
4 |
C implementation of a FAT file system |
Dec 03, 2020 |
|
Python |
4 |
FUSE implementation of TempleOS RedSea file system |
Aug 05, 2022 |
|
Rust |
73 |
Pure Rust implementation of exFAT file system |
Apr 15, 2023 |
|
Haskell |
7 |
Haskell ORC File Handler |
Aug 28, 2022 |
|
VimL |
10 |
Syntax file for Haskell |
Feb 14, 2018 |
|
Haskell |
5 |
Haskell .mod file player |
Jan 13, 2022 |
|
None |
17 |
Libraries for the Effectful Haskell effects system |
May 11, 2022 |
|
Java |
8 |
An nfs4j Virtual File System implementation supporting the iRODS Data Grid |
Feb 25, 2022 |
|
Haskell |
265 |
A Haskell implementation of the Tor protocol. |
Feb 12, 2023 |
|
Haskell |
24 |
Haskell implementation of the Edinburgh Logical Framework |
Dec 17, 2022 |
|
Haskell |
15 |
Haskell implementation of the Unicode Collation Algorithm |
Aug 10, 2022 |
|
Haskell |
15 |
Haskell implementation of the TOML configuration language |
Dec 06, 2021 |
|
Haskell |
4 |
Haskell implementation of the Futhark server protocol |
May 17, 2022 |
|
Haskell |
7 |
Haskell implementation of the terse language GolfScript |
Nov 18, 2021 |
|
Haskell |
2 |
LMemcache - Haskell implementation of the memcached server |
Dec 23, 2017 |
|
Haskell |
5 |
Implementation of the Campfire API in Haskell |
Dec 05, 2019 |
|
Haskell |
10 |
Pure Haskell implementation of the Google+ API |
Dec 05, 2019 |