Lists (1)
Stars
a game where you're given a potato and your job is to implement a firmware for it
A MCP server to allow the LLM in Cursor to access Rust Analyzer, Crate Docs and Cargo Commands.
A collection of formalized statements of conjectures in Lean.
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs
Hardcaml is an OCaml library for designing hardware.
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
AWS MCP Servers — helping you get the most out of AWS, wherever you use MCP.
The first ever roguelike written in the OCaml type system
Easily build canvas applications in PureScript — Compatible with Halogen
a ML-style programming language based on the calculus of constructions type theory
HACL*, a formally verified cryptographic library written in F*
Utility functions for an improved experience with elm/core
Overview of PureScript libraries/tools for Cardano
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
A Linter for PureScript with 8 formatting rules and 20 style rules.
Minimal implementations for dependent type checking and elaboration, in OCaml.
What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
Staging repo for development of native port of TypeScript
Functional Reactive Purescript Deku/Hyrule PoS System for Cannabis Dispensaries
A programming language with static memory management based on λ-calculus