Discover @andorp Open Source projects

Andor Penzes (@andorp)

andorp

Stars
265
Global Rank 98,427 (Top 4 %)
Followers 96
Following 43
Registered almost 12 years ago
Most used languages

Haskell
51.6 %

Idris 32.3 %

Python
6.5 %

Coq 6.5 %

HTML
3.2 %
Location 🇬🇧 United Kingdom
Country Total Rank 4,624
Country Ranking

Idris 1

Coq 21

Haskell
85

HTML
3,811

Python
7,685

order-taking

Idris version of Domain Modeling Made Functional Book.

mini-grin

IdrisExtSTGCodegen

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