Giters
Andor Penzes (andorp)

andorp

Geek Repo

89

followers

43

following

232

stars

Company:https://www.redbubble.com/shop/ap/92458473

Location:London, United Kingdom

Home Page:patreon.com/AndOrP

Twitter:@sverien

Github PK Tool:Github PK Tool

Organizations
grin-compiler

Andor Penzes's repositories

order-taking

Idris version of Domain Modeling Made Functional Book.

Language:IdrisLicense:NOASSERTIONStargazers:131Issues:8Issues:1

mini-grin

ICFP tutorial

Language:HaskellStargazers:40Issues:9Issues:0

IdrisExtSTGCodegen

Language:IdrisLicense:NOASSERTIONStargazers:23Issues:3Issues:0

TaPL

TaPL implementation bits in Idris2

Language:IdrisStargazers:15Issues:2Issues:1

pearls

Some functional pearls from time to time

Language:HaskellStargazers:8Issues:6Issues:0

ArchaIdr

Classic Arcade games written in Idris compiled to JavaScript.

Language:HTMLStargazers:3Issues:4Issues:0

advent-of-code

Language:IdrisStargazers:2Issues:3Issues:0

LearningCoq

Coq exercises.

Language:CoqLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

PLFI

Programming Language Foundations in Idris

Language:IdrisLicense:BSD-3-ClauseStargazers:2Issues:2Issues:1

aoc2022

Advent of Code 2022

Language:IdrisLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

DepPy

Imagine a Dependently Typed Python

Language:PythonLicense:MITStargazers:1Issues:4Issues:2

dmmf

Examples from the 'Domain Modeling made Functional' book.

Language:IdrisStargazers:1Issues:4Issues:0

idris-ct-studies

Basic category theory studies in Idris2

Language:IdrisStargazers:1Issues:3Issues:0

PFDSI

Language:IdrisLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

TheRayTracerChallenge

Language:IdrisStargazers:1Issues:2Issues:0

AlgebraDrivenDesign

Language:AgdaStargazers:0Issues:3Issues:0

awesome-ddd

A curated list of Domain-Driven Design (DDD), Command Query Responsibility Segregation (CQRS), Event Sourcing, and Event Storming resources

Stargazers:0Issues:2Issues:0

coding-interview-university

A complete computer science study plan to become a software engineer.

License:CC-BY-SA-4.0Stargazers:0Issues:2Issues:0

cs-video-courses

List of Computer Science courses with video lectures.

Stargazers:0Issues:2Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:2Issues:0

idris2-lsp

Language Server for Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0

kogaku

Optics library for Idris2

License:BSD-3-ClauseStargazers:0Issues:2Issues:0

mario

A javascript clone of Super Mario Bros. for the NES

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

plfa-docker

Docker image for Programming Language Foundations in Agda

Language:DockerfileStargazers:0Issues:3Issues:0

plfa-exercises

Language:AgdaStargazers:0Issues:3Issues:0

plfa.github.io

An introduction to programming language theory in Agda

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:2Issues:0

software-foundations-1

Software Foundations in Idris

Language:IdrisLicense:MITStargazers:0Issues:2Issues:0

souffle-haskell

Haskell bindings for the Souffle datalog language

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

SPLV20

SPLV20 course notes

Language:IdrisStargazers:0Issues:1Issues:0