A fixed-point-oriented programming language for Haskell
☆25Oct 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for fixen
Users that are interested in fixen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Oct 21, 2026Updated 2 weeks ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- The original parsing with derivatives haskell implementation☆13Aug 25, 2015Updated 11 years ago
- A Haskell package for updatable discrete distributions☆12Jan 4, 2021Updated 5 years ago
- A RISC-V TestRIG Verification Engine based on QuickCheck☆12Oct 5, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Run Github Actions step in a (private) container.☆11Oct 13, 2026Updated 3 weeks ago
- Copies of prolog solvers for use from python☆21Jul 8, 2024Updated 2 years ago
- New implementation of protocols☆15Updated this week
- μKanren implementation in Haskell☆19Jul 3, 2014Updated 12 years ago
- A dynamically-typed CBPV language embedded in Racket☆43Sep 15, 2026Updated last month
- ☆40Oct 30, 2026Updated last week
- Survey on materials that touch on the history of Lambda Calculus☆13Sep 13, 2020Updated 6 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 4 years ago
- Extend GHC's type checker with user-defined rules, without writing a type checker plugin.☆19Sep 20, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- X.500 Directory Server (DSA), LDAP Server, and related tools by Wildboar Software. 🍀☆11Oct 25, 2026Updated last week
- PoC for Paper: BunnyHop Exploiting the Instruction Prefetcher (USENIX Security 2023)☆14Aug 17, 2023Updated 3 years ago
- Attachment Converter: tool for batch converting attachments in an email mailbox☆12Sep 25, 2026Updated last month
- An example on how to build & distribute images for Raspberry Pi with mkosi☆14Updated this week
- 纸带八音盒工具全家桶。.mid, .emid, .fmp, .mcode 文件之间互相转换，生成纸带设计稿图片，通过纸带设计稿识别音符，统计音符数量和纸带长度☆20Sep 6, 2026Updated 2 months ago
- A program synthesizer for code in the How to Design Programs curriculum☆13Jan 6, 2024Updated 2 years ago
- # A simple variable binding library based on well-scoped indices and environments☆41Oct 29, 2026Updated last week
- Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)☆21Apr 2, 2013Updated 13 years ago
- A Lean library for descriptive complexity: NP-completeness and the polynomial hierarchy by first-order reductions, stronger than polynomi…☆15Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Haskell probabilistic programming library.☆23Updated this week
- ☆12Aug 2, 2021Updated 5 years ago
- An ott-like DSL embedded in Lean.☆22Oct 15, 2026Updated 3 weeks ago
- ☆11Aug 8, 2026Updated 2 months ago
- A cross-platform text and code editor written in Python using PyQt5☆12Dec 24, 2017Updated 8 years ago
- Draw cons-cell diagrams using Racket's pict library☆12Jan 3, 2019Updated 7 years ago
- ACToR is a powerful, automated, and simple program translation framework.☆17May 20, 2026Updated 5 months ago
- Riichi Score Calculator☆29Oct 6, 2026Updated last month
- racket benchmarking library☆13May 25, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- My entire Vim configuration.☆23Jul 16, 2017Updated 9 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆21Jun 26, 2020Updated 6 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- Discrete Event Simulator for Rust Implementations☆22Feb 17, 2026Updated 8 months ago
- Standard ML Infrastructure for writing LSP servers☆15Aug 19, 2026Updated 2 months ago
- Collaborative work on reversible computing☆26Oct 30, 2021Updated 5 years ago
- Simple, filesystem-based caching for Racket☆18Jun 28, 2022Updated 4 years ago