andorp/IdrisExtSTGCodegen

Stars
24
Rank 985,037 (Top 20 %)
Language Idris
License
Other
Created almost 4 years ago
Updated almost 2 years ago

andorp/IdrisExtSTGCodegen

andorp

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

order-taking

Idris version of Domain Modeling Made Functional Book.

mini-grin

TaPL

TaPL implementation bits in Idris2

pearls

Some functional pearls from time to time

bead

E-learning snap based server for special teaching purposes

py-contract

Simple examples from category theory using Python

ArchaIdr

Classic Arcade games written in Idris compiled to JavaScript.

cpdt

Certified Programming with Dependent Types - examples, learning material.

oo-haskell

How Object Oriented programming can be encoded in Haskell

advent-of-code

lentil

Access database entities through lenses.

PLFI

Programming Language Foundations in Idris

LearningCoq

DepPy

Imagine a Dependently Typed Python

themis

Simple Testing Framework, for Interactive and Unit testing

PFDSI

air

Air (Albérlet Irányítási Rendszer) aka Flat Accounting System

dmmf

Examples from the 'Domain Modeling made Functional' book.

hackerrank

file-persist

File storage backend for the Haskell persistent package.

subtitles

Simple Ass to Srt subtitle converter

HtDP2

How to Design Programs 2 from EDX combined with shape functors and anamorphisms

spd

Simple Framework for creating reactive programming examples based on the How to Design Programs book

aoc2022

Advent of Code 2022

elim

Generic eliminators for ADTs

category-test-laws

Algebraic laws and QuickCheck properties of Haskell constructions.

CrackingTheCodingInterview

hs-bluesnap

idris-ct-studies

Basic category theory studies in Idris2

TheRayTracerChallenge