timjb/idris-pfds timjb/idris-pfds

  • Stars
    star
    8
  • Rank 2,094,009 (Top 42 %)
  • Language Idris
  • License
    MIT License
  • Created almost 10 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
timjb/idris-pfds
github

timjb

Reviews

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

Repository Details

Purely functional data structures in Idris

More Repositories

1

quantities

Type-safe physical computations and unit conversions in Idris βš– 🌑 ⏲ πŸ”‹ πŸ“
Idris
155
star
2

svd-image-compression-demo

Demonstration of low rank matrix approximations via singular value decomposition
TypeScript
44
star
3

sketchup-threejs

[OBSOLETE] Export your Google SketchUp models to web page using three.js
Ruby
43
star
4

aeson-schema

[OBSOLETE] Haskell JSON schema validator and parser generator
35
star
5

uni-spicker

Summaries of my university courses (in German)
TeX
27
star
6

node-ardrone

[UNMAINTAINED] Control you Parrot AR.Drone from node
JavaScript
20
star
7

tlpi-exercises

My solutions to the problems in "The Linux Programming Interface"
C
18
star
8

halma

Chinese Checkers Haskell library, GUI application and Telegram bot
Haskell
16
star
9

node-ardrone-web

A web interface to control your Parrot AR.Drone
JavaScript
16
star
10

diagrams-rubiks-cube

Haskell library for drawing the Rubik's Cube
Haskell
14
star
11

colortriangle

[UNMAINTAINED] HSL based color picker.
JavaScript
11
star
12

haskell-timsort

[OBSOLETE] An adaptive, stable, natural mergesort implemented on mutable vectors.
10
star
13

robot-karel

A clone of Robot Karol in JavaScript
JavaScript
7
star
14

dotfiles

My config files.
Vim Script
7
star
15

set-theory-prover

Simple LCF-style proof assistant for ZFC
Haskell
6
star
16

bachelorarbeit

Der Satz von Serre ΓΌber die Endlichkeit der Homotopiegruppen der SphΓ€ren (Bachelorarbeit)
TeX
5
star
17

pfds-visualizations

Visualization of purely functional queues 🚢🚢🚢
Haskell
3
star
18

dtypes

Functors, Applicatives, Traversables etc. of kind (k -> *) -> *
Haskell
3
star
19

meisterhirn

clone of a popular board game
JavaScript
3
star
20

eine

Clone of a popular card game
JavaScript
3
star
21

minesweeper-solver

Constraints-based algorithm for solving MineSweeper
JavaScript
3
star
22

telegram-sendmessage

Using the Telegram Bot API to send messages to myself
Haskell
2
star
23

MooSweeper

[OBSOLETE] Costumizable Minesweeper clone for MooTools.
JavaScript
2
star
24

tagged-union

Haskell
2
star
25

presentations

HTML
2
star
26

alphacolor

[OBSOLETE] CSS-Hack to get cross-browser semi-transparent backgrounds
JavaScript
1
star
27

mathezirkel-kurs

TeX
1
star
28

reroute-talk

Talk about type-safe routing with reroute presented at Curry Club Augsburg
Haskell
1
star
29

informatikheft

Meine Mitschriften
1
star
30

math-ide

TypeScript
1
star