andorp/idris-ct-studies andorp/idris-ct-studies

  • Stars
    star
    1
  • Language Idris
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andorp/idris-ct-studies
github

andorp

Reviews

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

Repository Details

Basic category theory studies in Idris2

More Repositories

1

order-taking

Idris version of Domain Modeling Made Functional Book.
Idris
131
star
2

mini-grin

ICFP tutorial
Haskell
40
star
3

IdrisExtSTGCodegen

Idris
24
star
4

TaPL

TaPL implementation bits in Idris2
Idris
15
star
5

pearls

Some functional pearls from time to time
Haskell
8
star
6

bead

E-learning snap based server for special teaching purposes
Haskell
7
star
7

py-contract

Simple examples from category theory using Python
Python
6
star
8

ArchaIdr

Classic Arcade games written in Idris compiled to JavaScript.
HTML
3
star
9

cpdt

Certified Programming with Dependent Types - examples, learning material.
Coq
2
star
10

oo-haskell

How Object Oriented programming can be encoded in Haskell
Haskell
2
star
11

advent-of-code

Idris
2
star
12

lentil

Access database entities through lenses.
Haskell
2
star
13

PLFI

Programming Language Foundations in Idris
Idris
2
star
14

LearningCoq

Coq exercises.
Coq
2
star
15

DepPy

Imagine a Dependently Typed Python
Python
2
star
16

themis

Simple Testing Framework, for Interactive and Unit testing
Haskell
1
star
17

PFDSI

Idris
1
star
18

air

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

dmmf

Examples from the 'Domain Modeling made Functional' book.
Idris
1
star
20

hackerrank

Haskell
1
star
21

file-persist

File storage backend for the Haskell persistent package.
Haskell
1
star
22

subtitles

Simple Ass to Srt subtitle converter
Haskell
1
star
23

HtDP2

How to Design Programs 2 from EDX combined with shape functors and anamorphisms
Haskell
1
star
24

spd

Simple Framework for creating reactive programming examples based on the How to Design Programs book
Haskell
1
star
25

aoc2022

Advent of Code 2022
Idris
1
star
26

elim

Generic eliminators for ADTs
Haskell
1
star
27

category-test-laws

Algebraic laws and QuickCheck properties of Haskell constructions.
Haskell
1
star
28

CrackingTheCodingInterview

Haskell
1
star
29

hs-bluesnap

hs-bluesnap
Haskell
1
star
30

TheRayTracerChallenge

Idris
1
star