j-mueller/language-agda

Stars
9
Rank 1,935,505 (Top 39 %)
Language
License
BSD 3-Clause "New...
Created over 7 years ago
Updated almost 7 years ago

j-mueller/language-agda

j-mueller

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

sc-tools

Select coins, build transactions

convex

DeFi experiments with cardano-node and the muesliswap contract

ghci-websockets

A websocket server in GHCi that survives reloads

dpllt

An implementation of aDPLLT algorithm in Haskell

mtg-builder

Haskell meets MTG

hldb

HLedger dashboard

time-patterns

Primitives and combinators for recurring dates

hdom-api

Common interface for hdom stuff

hdom-lucid

Render hdom to html via lucid

procedural

Experiments with procedural generation in Haskell

hdom-ghcjs

GHCJS bits for hdom (web worker diffing etc.)

muesli-matcher

Match maker for muesli contract v1

planning

Project planning with random variables for task durations.

iso-svg

Isometric projection rendered in SVG

talks

Repo for slides/other materials related to talks

virtual-hom-example

h3

h3 is a library for data visualisation, similar to d3.js

plutus-template

Template for a Plutus project

diagrams-svg-virtual-hom

Virtual-hom SVG rendering backend for diagrams

virtual-hom

Lenses and prisms for the user interface