dpiponi / formal-weylView external linksLinks
The algebra for formal power series in elements of the Weyl algebra
☆18Jul 25, 2018Updated 7 years ago
Alternatives and similar repositories for formal-weyl
Users that are interested in formal-weyl are comparing it to the libraries listed below
Sorting:
- Typed DSLs for sorting☆20Feb 16, 2018Updated 7 years ago
- Pure haskell implementation of macaroons☆14Jan 26, 2021Updated 5 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- A streaming cross-cat inference engine☆49Dec 19, 2014Updated 11 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 6 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 10 months ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- doom☆17Mar 8, 2016Updated 9 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Apr 10, 2022Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 8 months ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 6 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- A deployment of mesos via NixOps☆11Mar 8, 2015Updated 10 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 5 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 5 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 7 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 4 years ago