andorp/DepPy andorp/DepPy

  • Stars
    star
    2
  • Language
    Python
  • License
    MIT License
  • Created 11 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andorp/DepPy
github

andorp

Reviews

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

Repository Details

Imagine a Dependently Typed Python

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

themis

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

PFDSI

Idris
1
star
17

air

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

dmmf

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

hackerrank

Haskell
1
star
20

file-persist

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

subtitles

Simple Ass to Srt subtitle converter
Haskell
1
star
22

HtDP2

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

spd

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

aoc2022

Advent of Code 2022
Idris
1
star
25

elim

Generic eliminators for ADTs
Haskell
1
star
26

category-test-laws

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

CrackingTheCodingInterview

Haskell
1
star
28

hs-bluesnap

hs-bluesnap
Haskell
1
star
29

idris-ct-studies

Basic category theory studies in Idris2
Idris
1
star
30

TheRayTracerChallenge

Idris
1
star