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
- Template for Hindley-Milner based languages☆39Dec 7, 2021Updated 4 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Sep 10, 2024Updated last year
- OTP-like supervision trees in Haskell☆62May 21, 2019Updated 6 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- jQuery crossword plugin☆10Oct 2, 2015Updated 10 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- Sync-DRAW: Automatic Video Generation using Deep Recurrent Attentive Architectures☆12Oct 21, 2017Updated 8 years ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- ☆10Jan 23, 2018Updated 8 years ago
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Mar 7, 2024Updated 2 years ago
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- Lua parser and pretty-printer☆52May 5, 2016Updated 9 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- Auto-built docker image with latest Nim devel version☆10Jul 21, 2023Updated 2 years ago
- Rewriting the infamous Quake III fast inverse square root function in Rust☆12Jan 31, 2022Updated 4 years ago
- ☆15Aug 27, 2018Updated 7 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- ☆11Aug 11, 2024Updated last year
- UDP-only netcat implementation with OCaml / MirageOS☆14Mar 21, 2017Updated 8 years ago
- 🌅 A Python script to set the desktop background to the top rated image of a given subreddit☆10Dec 15, 2020Updated 5 years ago