My dabbling with Pierce's languages in Haskell
☆22Feb 4, 2011Updated 15 years ago
Alternatives and similar repositories for Pierce-and-Types
Users that are interested in Pierce-and-Types are comparing it to the libraries listed below
Sorting:
- Fluent sequence operations in Python☆12Sep 18, 2012Updated 13 years ago
- A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Per…☆48Nov 11, 2016Updated 9 years ago
- Go-style coroutines and channels for C++☆34Nov 14, 2013Updated 12 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- A Haskell native implementation of matrices and their operations.☆35Nov 18, 2023Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Dec 22, 2019Updated 6 years ago
- A Java JIT compiler written in Haskell☆73Sep 7, 2013Updated 12 years ago
- Property-based Testing package for Odin language☆10Nov 11, 2024Updated last year
- [c++]使用boost.asio写的简单内存键值对缓存☆11Jul 31, 2017Updated 8 years ago
- Playing with https://github.com/ekmett/machines☆51Jul 2, 2017Updated 8 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Sparse Matrix Factorization (SMF) is a key component in many machine learning problems and there exist a verity a applications in real-w…☆11Jan 25, 2016Updated 10 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 12 years ago
- Working through OS development course☆10Jan 25, 2018Updated 8 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- LINQ for C++11 done right☆15Feb 18, 2016Updated 10 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Target-independent tools for several byte conversions.☆12Oct 16, 2017Updated 8 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- Github老玩家自己搭的服务器，老飞飞原版，可联机-天马座☆11May 14, 2019Updated 6 years ago
- ☆11Oct 7, 2022Updated 3 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Jan 4, 2022Updated 4 years ago
- Git based blog?☆69Feb 26, 2011Updated 15 years ago
- ☆10Dec 17, 2021Updated 4 years ago
- BoringSSL-backed TLS and cryptography library for Haskell☆15Dec 21, 2018Updated 7 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated last week
- ☆10Jul 22, 2020Updated 5 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 3 years ago
- ☆12Jun 25, 2021Updated 4 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 5 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- Cross platform string utils (including utf8 uppercase / lowercase for neko and cpp)☆11Apr 7, 2020Updated 5 years ago
- A hoby os runs on x86 platform with neassary features(multi-process, filesystem, user shell, etc)☆12Dec 1, 2019Updated 6 years ago
- ☆12Feb 12, 2018Updated 8 years ago