Name: Andor Penzes
Type: User
Company: https://www.redbubble.com/shop/ap/92458473
Bio: FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
Twitter: sverien
Location: London, United Kingdom
Blog: patreon.com/AndOrP
advent-of-code
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-summer-school
Summer school on programming in Agda
air
Air (Albérlet Irányítási Rendszer) aka Flat Accounting System
algebradrivendesign
andorp.github.io
aoc2022
Advent of Code 2022
archaidr
Classic Arcade games written in Idris compiled to JavaScript.
awesome-ddd
A curated list of Domain-Driven Design (DDD), Command Query Responsibility Segregation (CQRS), Event Sourcing, and Event Storming resources
basic-sop
Basic examples and functions for generics-sop
bead
E-learning snap based server for special teaching purposes
bead-docker
Build docker image to bead
category-test-laws
Algebraic laws and QuickCheck properties of Haskell constructions.
category-theory
A formalization of category theory in Coq for personal study
coding-interview-university
A complete computer science study plan to become a software engineer.
commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
cpdt
Certified Programming with Dependent Types - examples, learning material.
crackingthecodinginterview
cs-video-courses
List of Computer Science courses with video lectures.
cs410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
deppy
Imagine a Dependently Typed Python
dmmf
Examples from the 'Domain Modeling made Functional' book.
elim
Generic eliminators for ADTs
file-persist
File storage backend for the Haskell persistent package.
free-programming-books
:books: Freely available programming books
generic-random
Generic random generators
generics-sop
Generic Programming using True Sums of Products
ghc-proofs
Let GHC prove program equations for you
hackerrank
hal2016-website
Webseite for Haskell in Leipzig 2016
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
