mjsottile / publicstuff
Code related to things I post about online
☆21Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for publicstuff
- LaTeX style file to typeset functional languages like Haskell☆26Updated 11 years ago
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds☆20Updated last year
- "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)☆40Updated 9 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- Simple lambda prover☆24Updated 9 years ago
- A Haskell API into HTML5 Canvas☆72Updated 2 weeks ago
- Purely-functional, coordinate-free linear algebra☆26Updated 3 months ago
- Haskell plotting library☆44Updated 2 months ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Updated 2 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Experiments on the construction of functions☆29Updated 8 years ago
- A Haskell arrowized FRP library for GUIs☆20Updated 4 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆17Updated 8 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- wherein I implement several substructural logics in Agda☆24Updated 6 years ago
- Formalization of Linear Logic☆10Updated 7 years ago
- Formalization of Opetopes and Opetopic Sets in Agda☆16Updated 7 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 2 months ago
- A talk on type-generic FFT in Haskell☆45Updated 3 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 5 years ago
- Finite domain constraint solver in Haskell☆18Updated 3 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆48Updated 8 years ago
- System F in coq.☆19Updated 9 years ago