ichistmeinname/Curry-Lenses ichistmeinname/Curry-Lenses

  • Stars
    star
    8
  • Rank 2,094,449 (Top 42 %)
  • Language
    Haskell
  • Created over 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ichistmeinname/Curry-Lenses
github

ichistmeinname

Reviews

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

Repository Details

Master's thesis

More Repositories

1

free-proving

Resources for "One Monad to Prove Them All"
Coq
28
star
2

free-theorems

Haskell
9
star
3

DTDatastructures

Reimplementations of functional data structures (mostly as presented by Okasaki) in a dependently typed language
Agda
4
star
4

ProbabilisticProgramming

TeX
3
star
5

FreeMonadLecture

Chapter on free monads used in functional programming course
Haskell
2
star
6

haskell-for-beginners

Resources from the course "Advanced Programming" about functional programming using Haskell
Haskell
1
star
7

Puzzles

Constraint Modelling in Curry
TeX
1
star
8

page

A personal professional homepage (or is it a professional personal homepage?)
HTML
1
star
9

ProbabilisticProgrammingBenchmarks

Benchmarks for PFLP, a library for probabilistic programming in Curry, with comparisons to other probabilistic languages
HTML
1
star