dmarcia

Marcia D.'s starred repositories

elpi

Embeddable Lambda Prolog Interpreter

Language:PrologLGPL-2.128000

nano-Agda

Tiny type-checker with dependent types

Language:HaskellNOASSERTION7600

agdarsec

Total Parser Combinators in Agda

Language:AgdaGPL-3.012300

vim-galore

:mortar_board: All things Vim!

Language:Vim scriptCC-BY-SA-4.01664700

photon

⚡ Rust/WebAssembly image processing library

Language:RustApache-2.0262700

tauri

Build smaller, faster, and more secure desktop applications with a web frontend.

Language:RustApache-2.08085000

yew

Rust / Wasm framework for creating reliable and efficient web applications

Language:MDXApache-2.03038700

idris-tparsec

TParsec - Total Parser Combinators in Idris

Language:IdrisGPL-3.09300

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION243000

asterius

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Language:Haskell197700

polysemy

:gemini: higher-order, no-boilerplate monads

Language:HaskellBSD-3-Clause103000

grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Language:Haskell101800

purescript-halogen

A declarative, type-safe UI library for PureScript.

Language:PureScriptApache-2.0152200

dhall-lang

Maintainable configuration files

Language:DhallBSD-3-Clause418600

acid-state

Add ACID guarantees to any serializable Haskell data structure

Language:Haskell29100

gi-gtk-declarative

Declarative GTK+ programming in Haskell

Language:Haskell28700

Idris2

A purely functional programming language with first class types

Language:IdrisNOASSERTION247800