|
|
Julia |
28 |
Checkpointing for Automatic Differentiation |
Apr 01, 2023 |
|
|
C++ |
328 |
DMTCP: Distributed MultiThreaded CheckPointing |
May 15, 2023 |
|
|
Julia |
5 |
Treeverse algorithm for optimal checkpointing |
Feb 08, 2022 |
|
|
Go |
8 |
Orchestrated process and container checkpointing |
Feb 03, 2023 |
|
|
Scala |
10 |
Checkpointing PoW blockchains with HotStuff BFT |
May 03, 2022 |
|
|
C++ |
8 |
DARMA/magistrate => Serialization and checkpointing library |
Dec 07, 2022 |
|
|
Python |
2 |
plain-text Python notebooks with checkpointing |
Dec 14, 2022 |
|
|
Python |
10 |
URL downloader supporting checkpointing and continuous checksumming. |
Jun 22, 2022 |
|
|
C |
2 |
Prototype of POSIX user-space checkpointing library |
Nov 14, 2014 |
|
|
Julia |
3 |
A package for dynamically checkpointing program state |
Aug 01, 2022 |
|
|
Python |
46 |
Simple gradient checkpointing for eager mode execution |
Mar 10, 2023 |
|
|
Python |
12 |
Python library to manage checkpointing for adjoints |
May 02, 2023 |
|
|
Python |
2 |
Audio playlist player using mplayer, with checkpointing |
Aug 20, 2016 |
|
|
None |
5 |
A distributed operation log with checkpointing and compaction |
Mar 26, 2022 |
|
|
TypeScript |
20 |
A markup language and tool for extracting code examples, checkpointing tutorials, and dynamically transforming text |
Aug 11, 2022 |
|
|
C++ |
2 |
MPI library that supports serializing (and checkpointing) its state |
Sep 29, 2022 |
|
|
Java |
7 |
Spark in Action, 2nd edition - chapter 16 - performance, checkpointing, and caching |
May 06, 2023 |
|
|
Scala |
3 |
Apache Spark Streaming checkpointing playground for everyone to learn by example. |
Jan 28, 2023 |
|
|
Haskell |
3 |
A Haskell Library and Command Line Interface to work with MIX archives from the older … |
Dec 21, 2020 |
|
|
Haskell |
3 |
Very simple text summarization |
Mar 06, 2020 |
|
|
Haskell |
3 |
Command Line Interface for https://validator.w3.org/ |
Dec 27, 2019 |
|
|
Haskell |
3 |
None |
Jan 09, 2020 |
|
|
Haskell |
3 |
Types for colors |
Dec 05, 2019 |
|
|
Haskell |
3 |
None |
Feb 03, 2020 |
|
|
Haskell |
3 |
heterogenous traversal |
May 03, 2022 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
|
Haskell |
3 |
Elevator for effects |
Dec 05, 2019 |
|
|
Haskell |
3 |
None |
Jan 04, 2020 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
|
Haskell |
3 |
Omit top-level module prefices |
Sep 26, 2020 |
|
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
|
Haskell |
3 |
Simple command line pastebin app. |
Oct 21, 2013 |
|
|
Haskell |
3 |
用一种类似正则表达式的句法来生成随机字符串。 |
Dec 12, 2021 |
|
|
Haskell |
3 |
ALPACA - Anemic Lexer and PArser Creation Algorithm |
Jun 05, 2022 |
|
|
Haskell |
3 |
Demo showing operation of LL(1), LR(0), LR(1), SLR and LALR parsers |
Jun 25, 2022 |
|
|
Haskell |
3 |
Sort delimited text files. |
Oct 27, 2020 |
|
|
Haskell |
4 |
None |
May 24, 2022 |
|
|
Haskell |
4 |
UTxO based NFT Maker for Cardano Blockchain (no timelock) |
Apr 11, 2022 |
|
|
Haskell |
4 |
None |
May 28, 2022 |
|
|
Haskell |
4 |
The playground allows you to experiment with Haskell in browser without installing it locally. It … |
Apr 20, 2022 |
|
|
Haskell |
4 |
Language that combines the flexibility of the GraphQL with the formalism of Haskell |
May 05, 2022 |
|
|
Haskell |
4 |
A compiler backend for PureScript that generates Python code. |
Dec 13, 2021 |
|
|
Haskell |
4 |
A simple utility to workaround cardano-cli's inability to balance non-native assets |
Jun 15, 2022 |
|
|
Haskell |
4 |
Language of the Cult of Raylib |
May 23, 2022 |
|
|
Haskell |
4 |
Support for linearly-typed generics in Haskell |
Apr 01, 2022 |
|
|
Haskell |
4 |
XMonad setup with installed programs by Anapal using Arch Linux |
Jun 14, 2022 |
|
|
Haskell |
4 |
Xmonad configurations for Axyl OS |
May 04, 2022 |
|
|
Haskell |
4 |
Feature Trace Recording in Haskell |
Apr 21, 2022 |
|
|
Haskell |
4 |
A language built atop the Sparse Synchronous Model |
Jun 14, 2022 |