#
Ailrun
Follow
Lists (2)
Starred repositories
A collection of professionally designed, every day UI components built on Web standards. SHOELACE IS BECOMING WEB AWESOME 👇👇👇
Generator of runtime monitors for flight and robotics applications.
Unified developer tools for JavaScript, TypeScript, and the web
A data-driven micro web framework for Haskell
Support functions to work with GHC's Type.Reflection, including pretty-printing.
a throwaway implementation of normalization by evaluation
A Lambda expression compiler targeting web assembly.
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.
High-velocity, monorepo-scale workflow for Git
TimeMap instance for Civilian Harm in Ukraine
Standard library for linear types in Haskell.
A massively parallel, optimal functional runtime in Rust
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Minimal implementations for dependent type checking and elaboration
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
He Reiter, Ho Reiter, He Reiter, Immer weiter!
Generate high-quality triangulated and polygonal art from images.
A discord frontend for an interactive interpreter bot
for implementing toy languages using the K Framework
