sophiajt / Pierce-and-TypesView external linksLinks
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 tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 3 years ago
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 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.☆77Dec 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
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- [c++]使用boost.asio写的简单内存键值对缓存☆11Jul 31, 2017Updated 8 years ago
- Playing with https://github.com/ekmett/machines☆51Jul 2, 2017Updated 8 years ago
- First class composable record labels for Haskell.☆68Oct 23, 2025Updated 3 months ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- java-like synchronized blocks in c++☆13Mar 8, 2014Updated 11 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 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
- Working through OS development course☆10Jan 25, 2018Updated 8 years ago
- Playing with type systems☆51Dec 29, 2024Updated last year
- Official Repo for "Multi-objective Differentiable Neural Architecture Search"☆15Jul 12, 2024Updated last year
- A limit order match engine and backend service with simple account management using RESTful API in Rust-lang.☆17Jan 3, 2023Updated 3 years ago
- Git based blog?☆69Feb 26, 2011Updated 14 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- ☆17Apr 3, 2025Updated 10 months ago
- Lwt with async backend☆18Jan 2, 2014Updated 12 years ago
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 3 years ago
- Target-independent tools for several byte conversions.☆12Oct 16, 2017Updated 8 years ago
- A hoby os runs on x86 platform with neassary features(multi-process, filesystem, user shell, etc)☆12Dec 1, 2019Updated 6 years ago
- High Assurance Cryptographic Software☆10Dec 23, 2025Updated last month
- 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 2, 2023Updated 3 years ago
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Feb 22, 2017Updated 8 years ago
- ☆12Feb 12, 2018Updated 8 years ago
- My type-ups for copilot to learn from.☆11Aug 30, 2022Updated 3 years ago
- ☆11Oct 7, 2022Updated 3 years ago