silky/alg-top-notes silky/alg-top-notes

  • Stars
    star
    1
  • Language
    TeX
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
silky/alg-top-notes
github

silky

Reviews

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

Repository Details

alg. top. notes (also testing integration with authorea)

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

ideas

💡 various ideas
20
star
6

deep-scite

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

auto_uv_map

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

myth

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

clone-all

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

DanceView

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

quipper

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

PADS-mirror

Mirror of David Eppsteins PADS libraries
Python
7
star
13

cppn-playground

CPPN Playground
Elm
6
star
14

rezoomer

⛵ image rezoomer tool!
Haskell
5
star
15

simple-cppn-deeplearn.js

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

dotfiles

dotfiles
Vim Script
5
star
17

pipes-websockets

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

cppn-3d

cppn in 3d!
Jupyter Notebook
4
star
19

htmx-servant-js-post

Haskell
4
star
20

quantum-mailing-list

Elm
3
star
21

hail

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

haskmas

🎄 happy haskmas!
Haskell
3
star
23

jokes

open source joke development
2
star
24

ecological-climatology

Haskell
2
star
25

ihaskell-jupyter-dashboard-demo

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

diagrams-miso-poc

Haskell
2
star
27

scirate-cli

Haskell
2
star
28

pyrebox

Python
2
star
29

voronoi-mail

email reading client for gmail.
JavaScript
2
star
30

latex

latex packages/scripts
TeX
2
star
31

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
32

5-minute-nix

Nix
2
star
33

cppn-cli

Python
2
star
34

linear-types-talk-jan-2021

Haskell
2
star
35

haskell-love-quantum-love-linear-story

Haskell
2
star
36

linuxconf-fashion-hacking

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

qc-resources

links to resources on quantum computing
1
star
38

TypeSkin

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

quantum-hacking

1
star
40

vim-agda-input

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

infer-upstream

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

utils

various utils
Python
1
star
43

carbuyer-advisor

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

servant-hacking

Haskell
1
star
45

hott

HoTT in Idris
Idris
1
star
46

stacklock2nix-demo-issue

Nix
1
star
47

git-live

git-live
Shell
1
star
48

friendly-web

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

git-everything

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

silky

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