Detect leakages in machine learning datasets using complex numbers and NANs
☆13Jul 23, 2020Updated 6 years ago
Alternatives and similar repositories for leak-detect
Users that are interested in leak-detect are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12May 22, 2016Updated 10 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- Source-code from Fibonacci Crisis performances and practises (written in Sonic Pi v2.0)☆12Sep 25, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆17Jun 24, 2020Updated 6 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- EDSL for Stencil Computations in Haskell☆12Feb 5, 2014Updated 12 years ago
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆13Jul 9, 2025Updated last year
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 6 months ago
- neXtSIM_DG : next generation sea-ice model with DG☆12Updated this week
- Indexing of AST using graph databases (Neo4j)☆15Dec 30, 2015Updated 10 years ago
- An attoparsec roundtrip☆19Apr 23, 2020Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆50May 17, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell parser and manipulation functions for Fortran code☆17Mar 18, 2016Updated 10 years ago
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Sep 14, 2020Updated 6 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆28Apr 10, 2017Updated 9 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆65May 12, 2026Updated 5 months ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- rust binding for lean4☆12Jul 1, 2023Updated 3 years ago
- Emacs bindings for hlint's --refactor option☆27Jan 15, 2019Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Full-stack framework powered by the WASM Component Model.☆12Updated this week
- Haskell 98 comonads☆80Jan 10, 2026Updated 9 months ago
- The Alore programming language combines the convenience of Python with optional static typing☆35Oct 17, 2012Updated 14 years ago
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- A gui tool written in Dioxus to make it easy to release a workspace of crates to crates.io☆14Feb 22, 2023Updated 3 years ago
- A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)☆10Nov 5, 2021Updated 5 years ago
- Dependency parsing in Julia☆11Dec 17, 2025Updated 10 months ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Jun 10, 2026Updated 4 months ago
- A Rust library offering newtyped indices and vecs that use those indices☆22Aug 17, 2024Updated 2 years ago
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Updated this week
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- Data structures for describing changes to other data structures.☆17Sep 28, 2026Updated last month