mratsim / haskell-numbertheoryView external linksLinks
Exploration of primes, factorization and number theory through haskell
☆10Oct 10, 2016Updated 9 years ago
Alternatives and similar repositories for haskell-numbertheory
Users that are interested in haskell-numbertheory are comparing it to the libraries listed below
Sorting:
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Give integers super-powers!☆20Jan 20, 2022Updated 4 years ago
- ☆21May 9, 2017Updated 8 years ago
- Scripts for building GHC and Haskell programs for Android and iOS☆21Oct 2, 2020Updated 5 years ago
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 years ago
- Theory Exploration for Isabelle using HipSpec☆20Jun 7, 2024Updated last year
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Mar 18, 2015Updated 10 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Apr 4, 2021Updated 4 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Oct 14, 2020Updated 5 years ago
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- ☆10Aug 9, 2017Updated 8 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Sep 10, 2024Updated last year
- Template for Hindley-Milner based languages☆39Dec 7, 2021Updated 4 years ago
- OTP-like supervision trees in Haskell☆62May 21, 2019Updated 6 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆25Feb 4, 2025Updated last year
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated last year
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆10Jan 23, 2018Updated 8 years ago
- Reconnaître la marque/mod èle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- jQuery crossword plugin☆10Oct 2, 2015Updated 10 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Sync-DRAW: Automatic Video Generation using Deep Recurrent Attentive Architectures☆12Oct 21, 2017Updated 8 years ago
- Lua parser and pretty-printer☆52May 5, 2016Updated 9 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- Interactor provides an opinionated interface for performing complex user interactions.☆11Nov 16, 2017Updated 8 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- ☆11Jul 20, 2016Updated 9 years ago
- A Python package to scrape flight data from Google Flights.☆15Apr 20, 2024Updated last year
- [RFC9380] Hash to curves - Go reference implementation☆21Nov 20, 2025Updated 2 months ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- ☆12Apr 10, 2019Updated 6 years ago