stefan-hoeck Goto Github PK

acls_demo_22

My very crappy demo

aoc23

Advent of Code 2023 in Idris

chemf

A purely functional cheminformatics toolkit written in Scala

cml

An implementation of CML (Chemical Markup Language) in Scala

condform

cyby2

A library for writing chemical and biological data management systems

datalab23

dire

A pure Functional Reactive Programming implementation using a discrete time model

dsa

efautil

Utility package enhancing stuff from scalaz and shapeless. Also provides a basic iteratee-based io-library

git-demo

My amazing Git demo

graph

Experimentations in graph theory

idris-fix-whitespace

Removes trailing whitespace from .idr files and makes sure they end with exactly one newline.

idris2

A purely functional programming language with first class types

idris2-algebra

Lawful algebraic structures in Idris2

idris2-array

Immutable and mutable (linear) arrays

idris2-async

Asynchronous and concurrent computations in Idris2

idris2-barbies

Types that can change their clothes

idris2-bytestring

Immutable byte vectors in Idris2.

idris2-comonad

idris2-containers

Basic Tree and Queue data types

idris2-crypt

FFI bindings to the crypt libary

idris2-dom

Javascript DOM bindings for Idris2

idris2-dom-mvc

Single Page Web Applications in Idris

idris2-eff

Extensible,stack safe effects for Idris2

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-epoll

epoll bindings in Idris2

idris2-experimental

Experimenting with recent additions to the Idris2 compiler

idris2-filepath

Unix style file paths in Idris2

idris2-finite

A derivable interface for types with a finite number of values