wyager / HaSKIView external linksLinks
Cλash/Haskell FPGA-based SKI calculus evaluator
☆51Jan 9, 2016Updated 10 years ago
Alternatives and similar repositories for HaSKI
Users that are interested in HaSKI are comparing it to the libraries listed below
Sorting:
- Symbolic logic expressions☆15Jul 1, 2020Updated 5 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- Utilities for working with OpenGL's GLSL shading language and vinyl records.☆30Sep 11, 2018Updated 7 years ago
- Convert lambda expressions to CCC combinators☆149Feb 23, 2016Updated 9 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 9 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆52Dec 29, 2025Updated last month
- A verified polyhedral scheduling validator in Coq.☆23Oct 2, 2024Updated last year
- A tiny 32 bit kernel written in ATS☆26May 4, 2014Updated 11 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Generate Haskell code from a type☆146Feb 21, 2025Updated 11 months ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 4 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- From Haskell to Hardware via CCCs☆58Jun 22, 2016Updated 9 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- Diploma work (if this is still here contact me if you need details)☆13May 30, 2017Updated 8 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Collaborative work on reversible computing☆25Oct 30, 2021Updated 4 years ago
- ☆18May 1, 2020Updated 5 years ago
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Total Parser Combinators in Coq [maintainer=@womeier]☆49Jul 19, 2025Updated 6 months ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆56Apr 11, 2018Updated 7 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…☆16Sep 29, 2019Updated 6 years ago
- Bitcoin CLI tools: Haskell port of Sx using Haskoin☆12Nov 2, 2015Updated 10 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆67Jul 21, 2025Updated 6 months ago
- Fun plugin to play with the Gallina AST.☆38Oct 3, 2019Updated 6 years ago
- Higher-order optimization library☆76Jul 12, 2023Updated 2 years ago
- Fully-featured, blazingly-fast language that compiles to beautiful, hand-made-like JavaScript. Implemented in less than 100 lines.☆103Jun 2, 2016Updated 9 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆77Dec 22, 2019Updated 6 years ago
- Experiments with higher-order abstract syntax in Agda☆22Jul 14, 2022Updated 3 years ago