• Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
  • License
    MIT License
  • Created over 11 years ago
  • Updated almost 7 years ago

Reviews

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

Repository Details

πŸ’‘ various ideas

More Repositories

1

awesome-open-science

some links to projects/tools related to "open science".
Haskell
143
star
2

literate-readme

README files used to be able to lie. Now they can't! Woo!
Haskell
38
star
3

super-reference

πŸ“š Web-based reference manager, written in Haskell.
Haskell
30
star
4

fashion

repo for fashion business/ideas/etc.
Haskell
22
star
5

deep-scite

🚣 A simple recommendation engine (by way of convolutions and embeddings) written in TensorFlow
HTML
20
star
6

auto_uv_map

Reference Implementation of Automatic UV Mapping with Harmonic Maps.
C++
20
star
7

myth

Type-and-example-driven program synthesis for functional programming languages
OCaml
20
star
8

clone-all

clone all the github repositories of a particular user.
Haskell
19
star
9

DanceView

View poses coming out of pose estimation networks.
Haskell
10
star
10

quipper

quipper - http://www.mathstat.dal.ca/~selinger/quipper/ - unofficial fork.
Haskell
9
star
11

PADS-mirror

Mirror of David Eppsteins PADS libraries
Python
7
star
12

cppn-playground

CPPN Playground
Elm
6
star
13

rezoomer

β›΅ image rezoomer tool!
Haskell
5
star
14

simple-cppn-deeplearn.js

Implementation of a (very simple) CPPN in plain JS + deeplearnjs
JavaScript
5
star
15

dotfiles

dotfiles
Vim Script
5
star
16

pipes-websockets

Haskell library wrapping WebSockets in the Pipes framework.
Haskell
5
star
17

cppn-3d

cppn in 3d!
Jupyter Notebook
4
star
18

htmx-servant-js-post

Haskell
4
star
19

quantum-mailing-list

Elm
3
star
20

hail

A service for pull-based continuous deployment based on hydra.
Haskell
3
star
21

haskmas

πŸŽ„ happy haskmas!
Haskell
3
star
22

jokes

open source joke development
2
star
23

ecological-climatology

Haskell
2
star
24

ihaskell-jupyter-dashboard-demo

A base setup of IHaskell+Jupyter+Jupyter Dashboards from which you can build your own dashboards.
Jupyter Notebook
2
star
25

diagrams-miso-poc

Haskell
2
star
26

scirate-cli

Haskell
2
star
27

pyrebox

Python
2
star
28

voronoi-mail

email reading client for gmail.
JavaScript
2
star
29

latex

latex packages/scripts
TeX
2
star
30

Cinemachine-Film-Demo

Simple demo showing examples of use of Timeline, Cinemachine, GI and PPv2 in the production of a short film.
C#
2
star
31

5-minute-nix

Nix
2
star
32

cppn-cli

Python
2
star
33

linear-types-talk-jan-2021

Haskell
2
star
34

haskell-love-quantum-love-linear-story

Haskell
2
star
35

linuxconf-fashion-hacking

hacking from linuxconf au in nz in 2019
Haskell
1
star
36

qc-resources

links to resources on quantum computing
1
star
37

TypeSkin

Drop-in static type system on top of Vanilla JS
JavaScript
1
star
38

quantum-hacking

1
star
39

vim-agda-input

Agda-mode input symbols vim plugin
Vim Script
1
star
40

infer-upstream

Find the repository from where a given repo was forked
Haskell
1
star
41

utils

various utils
Python
1
star
42

carbuyer-advisor

how to buy used car in Russia, tech recommendation for used cars
Haskell
1
star
43

servant-hacking

Haskell
1
star
44

hott

HoTT in Idris
Idris
1
star
45

stacklock2nix-demo-issue

Nix
1
star
46

git-live

git-live
Shell
1
star
47

friendly-web

Friendly (generic pretty-printer) on the web! via ghcjs!
Haskell
1
star
48

git-everything

Flatten a git repository by checking out all the commits into a particular folder.
Haskell
1
star
49

silky

1
star
50

alg-top-notes

alg. top. notes (also testing integration with authorea)
TeX
1
star
51

nixos-configuration

wip
Nix
1
star
52

silky.github.com

personal website
HTML
1
star
53

webfpga-clash-mhug-2020

Haskell
1
star
54

fastapi-db-test-example

Python
1
star
55

algebraic-prelude

Experiments in Haskell algebra
Haskell
1
star