silky/linear-types-talk-jan-2021

Stars
2
Language
Haskell
License
Other
Created almost 4 years ago
Updated over 3 years ago

silky/linear-types-talk-jan-2021

silky

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

awesome-open-science

some links to projects/tools related to "open science".

literate-readme

README files used to be able to lie. Now they can't! Woo!

super-reference

📚 Web-based reference manager, written in Haskell.

fashion

repo for fashion business/ideas/etc.

ideas

💡 various ideas

deep-scite

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

auto_uv_map

Reference Implementation of Automatic UV Mapping with Harmonic Maps.

myth

Type-and-example-driven program synthesis for functional programming languages

clone-all

clone all the github repositories of a particular user.

DanceView

View poses coming out of pose estimation networks.

quipper

quipper - http://www.mathstat.dal.ca/~selinger/quipper/ - unofficial fork.

PADS-mirror

Mirror of David Eppsteins PADS libraries

cppn-playground

CPPN Playground

rezoomer

⛵ image rezoomer tool!

simple-cppn-deeplearn.js

Implementation of a (very simple) CPPN in plain JS + deeplearnjs

dotfiles

pipes-websockets

Haskell library wrapping WebSockets in the Pipes framework.

cppn-3d

Jupyter Notebook

htmx-servant-js-post

quantum-mailing-list

hail

A service for pull-based continuous deployment based on hydra.

haskmas

🎄 happy haskmas!

jokes

open source joke development

ecological-climatology

ihaskell-jupyter-dashboard-demo

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

Jupyter Notebook

diagrams-miso-poc

scirate-cli

pyrebox

voronoi-mail

email reading client for gmail.

latex

latex packages/scripts

Cinemachine-Film-Demo

Simple demo showing examples of use of Timeline, Cinemachine, GI and PPv2 in the production of a short film.

5-minute-nix

cppn-cli

haskell-love-quantum-love-linear-story

linuxconf-fashion-hacking

hacking from linuxconf au in nz in 2019

qc-resources

links to resources on quantum computing

TypeSkin

Drop-in static type system on top of Vanilla JS

quantum-hacking

vim-agda-input

Agda-mode input symbols vim plugin

infer-upstream

Find the repository from where a given repo was forked

utils

carbuyer-advisor

how to buy used car in Russia, tech recommendation for used cars

servant-hacking

hott

stacklock2nix-demo-issue

git-live

friendly-web

Friendly (generic pretty-printer) on the web! via ghcjs!

git-everything

Flatten a git repository by checking out all the commits into a particular folder.

silky

alg-top-notes

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

nixos-configuration

silky.github.com

personal website

webfpga-clash-mhug-2020

fastapi-db-test-example

algebraic-prelude

Experiments in Haskell algebra