Stars
4
Forks
0
Language
Haskell
Last Updated
Sep 07, 2020
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Haskell | 4 | Deterministic Random Bit Generators (English -> Haskell translation from SP 800-90) | Mar 03, 2020 | |
Haskell | 2 | Haskell solver for https://github.com/benjamincrom/scrabble | May 11, 2021 | |
Haskell | 2 | Haskell bindings for https://github.com/epezent/implot | Aug 14, 2022 | |
Haskell | 179 | OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine | Mar 04, 2023 | |
Julia | 2 | UUID v4 (random / pseudo-random) | https://github.com/0h7z/UUID4.jl | Mar 05, 2023 | |
C | 2 | Translation to C of https://github.com/F5OEO/librpitx | Sep 03, 2022 | |
None | 2 | Translation of https://github.com/felixge/node-style-guide | Mar 23, 2023 | |
Java | 16 | Note: Future development of Translation Cards migrated to https://github.com/translation-cards | Jul 26, 2022 | |
Haskell | 2 | Random Haskell Tools | Dec 05, 2019 | |
Haskell | 3 | Haskell bindings for Azimuth (https://github.com/urbit/azimuth) | Mar 19, 2021 | |
Haskell | 2 | Haskell bindings to LevelDB (https://github.com/google/leveldb) | Apr 11, 2023 | |
Haskell | 65 | Haskell bindings to LevelDB (https://github.com/google/leveldb) | May 09, 2022 | |
Haskell | 5 | deprecated: https://github.com/haskell-servant/servant/pull/1314 | Nov 18, 2022 | |
Haskell | 2 | Code from the Zippers chapter of "Learn you a Haskell for Greater Good" | Nov 13, 2018 | |
SMT | 11 | A translation verifier for Reopt (https://github.com/GaloisInc/reopt) | Jan 30, 2023 | |
Vue | 7 | Vue.JS translation of https://github.com/tamble/jquery-ui-daterangepicker | Jan 29, 2021 | |
None | 4 | WIP translation from https://github.com/estevanmaito/aprenda-html-css | Feb 10, 2022 | |
Dart | 2 | Translation of https://github.com/PrismJS/prism to Dart/Flutter. | Feb 10, 2023 | |
Go | 954 | Chinese Translation of https://github.com/teh-cmc/go-internals | May 31, 2023 | |
HTML | 159 | Haskell web site (old -- see new repo at https://github.com/haskell-infra/www.haskell.org) | Nov 25, 2021 | |
None | 9 | Moved to https://github.com/input-output-hk/rscoin-haskell | Mar 09, 2020 | |
Nix | 2 | Nix wrapper providing builds of https://github.com/haskell/ide | Jan 27, 2023 | |
Haskell | 2 | Just random haskell code | Dec 27, 2020 | |
Python | 6 | Local Collective Embeddings. Python translation of https://github.com/msaveski/LCE | Jan 15, 2020 | |
Haskell | 4 | A nocode (https://github.com/kelseyhightower/nocode) interpreter implemented in Haskell | Aug 03, 2022 | |
Nix | 2 | Like https://github.com/srid/haskell-template but for Idris 2 | May 16, 2022 | |
Haskell | 9 | DEPRECATED: `text` is now UTF-8: https://github.com/haskell/text | Jan 27, 2023 | |
Java | 4 | Java Native Access (JNA) Quarkus Extension - https://github.com/java-native-access/jna | Nov 03, 2021 | |
Haskell | 3 | A haskell translation of hol-light | Dec 05, 2019 | |
None | 5 | Chinese translation of Programming In Haskell | Jun 20, 2017 | |
Haskell | 10 | Run Haskell on AWS Lambda. Deprecated: consider using https://github.com/phadej/aws-lambda-haskell-runtime | Dec 06, 2019 | |
Scala | 2 | Translation to scala of the Haskell example described here: https://gist.github.com/puffnfresh/5940556 | Jun 25, 2022 | |
Python | 4 | This repository is an english translation of https://github.com/timagr615/dmarket_bot | Aug 03, 2022 | |
None | 2 | Old nynorsk translation of Zotero, deprecated. See https://github.com/zotero instead | Apr 24, 2014 | |
Python | 33 | Python driver Framework to access https://github.com/triAGENS/ArangoDB | Mar 21, 2023 | |
Haskell | 11 | deprecated prototype implementation of https://github.com/haskell-servant/servant/pull/1314 | Oct 10, 2020 | |
Haskell | 9 | Fencer is a port of https://github.com/lyft/ratelimit into Haskell. | Sep 05, 2020 | |
Haskell | 2 | Safe Paths in Haskell, Deprecated, use https://github.com/chrisdone/path instead. | Dec 05, 2019 | |
Haskell | 2 | Haskell version of https://github.com/hjr3/rust-get-data-from-url | Dec 05, 2019 | |
Python | 247 | Random Access Tar Mount | Aug 29, 2022 | |
Rust | 6 | Random-access I/O | Feb 05, 2023 | |
Go | 2 | Golang random access buffer | Apr 09, 2023 | |
None | 1365 | Translation of C++ Core Guidelines [https://github.com/isocpp/CppCoreGuidelines] into Simplified Chinese. | May 09, 2023 | |
Haskell | 2 | obluda - random name generator in Haskell | Jan 19, 2022 | |
C++ | 2 | A websocket server to access AtomSpace - https://github.com/opencog/atomspace | Mar 01, 2021 | |
None | 4 | Random bits semi-relevant to QMK Firmware https://github.com/qmk/qmk_firmware | Jul 18, 2021 | |
Haskell | 3 | Haskell solutions for Clojure katas at https://github.com/gigasquid/wonderland-clojure-katas | Dec 05, 2019 | |
Haskell | 2 | Implementation of MiniDecaf in Haskell (see https://github.com/decaf-lang/minidecaf-tutorial) | Mar 03, 2021 | |
Haskell | 2 | Simplified JWT example from https://github.com/eckyputrady/haskell-scotty-realworld-example-app | Apr 24, 2023 | |
C++ | 25 | ZStandard Random Access (ZRA) allows random access inside an archive compressed using ZStandard | Apr 24, 2023 |