☆12Jan 2, 2026Updated last month
Alternatives and similar repositories for bob19-tutorial-types
Users that are interested in bob19-tutorial-types are comparing it to the libraries listed below
Sorting:
- nix scripts for pytorch-related libraries☆22Apr 25, 2021Updated 4 years ago
- Neural Networks and Deep Learning☆33Dec 9, 2023Updated 2 years ago
- Experiments about running Haskell via WebAssembly on Fastly☆40Mar 9, 2023Updated 2 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Aug 8, 2019Updated 6 years ago
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 6 years ago
- ☆37Jun 20, 2021Updated 4 years ago
- Linux Foundation Certified Engineer (LFCE) learning materials☆12Mar 6, 2022Updated 3 years ago
- Simple Pomodoro timer for Windows☆10Jun 26, 2012Updated 13 years ago
- The SQL link in your *NIX chain☆22Feb 28, 2013Updated 13 years ago
- ☆13Feb 7, 2016Updated 10 years ago
- Extra resources for Tweag's blog posts.☆42Sep 30, 2025Updated 5 months ago
- Just a Haskell wrapper for OpenAI API calls☆11Mar 2, 2023Updated 2 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated 3 weeks ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 2 months ago
- Fetch debian packages via GIthub release API☆13Dec 26, 2014Updated 11 years ago
- Add a hspec test-suite in one command☆10Aug 22, 2016Updated 9 years ago
- A powerful, extensible, flexible, cross-browser rich text editor☆18Apr 9, 2015Updated 10 years ago
- play or record videos from arte.tv catch up TV☆26Nov 6, 2016Updated 9 years ago
- Utilities for creating and transforming push-based subscriptions.☆14Oct 6, 2024Updated last year
- ☆10Dec 5, 2022Updated 3 years ago
- mdlabbook is a markdown-format lab notebook☆11Jan 11, 2017Updated 9 years ago
- Fourmolu GitHub Action☆13Oct 25, 2024Updated last year
- DynamicJavaScriptRunTimes.NET is a layer above, the Noesis JavaScript.NET run-time and the Jurassic JavaScript run-time that provide acce…☆14Jul 16, 2011Updated 14 years ago
- This is a collection of Viruses and Worms for Malware Researchers it forms a good backbone from malware back in the day to some recent on…☆11Aug 26, 2014Updated 11 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- ☆11May 21, 2019Updated 6 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- A system for online math exercises.☆10Dec 21, 2021Updated 4 years ago
- Clipboard synchronization tool☆12Jan 30, 2026Updated last month
- Standalone Custom Transfer Agent for Git LFS☆13Sep 13, 2018Updated 7 years ago
- a programming language with composable refinements and inverse functions inference☆10Feb 5, 2024Updated 2 years ago
- ☆107Jan 7, 2026Updated last month
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- python client for Zanata☆21Jul 4, 2025Updated 7 months ago
- Haskell library for the Chrome DevTools Protocol☆11Dec 27, 2023Updated 2 years ago
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Sep 13, 2019Updated 6 years ago
- InkDrop☆16Aug 20, 2019Updated 6 years ago
- A library of components for RISC-V implementations in Haskell CLaSH☆13Mar 24, 2017Updated 8 years ago
- Lean 4 bindings to libcurl☆13Feb 3, 2026Updated 3 weeks ago