quchen/vsafe quchen/vsafe

  • Stars
    star
    1
  • Language
    Shell
  • Created over 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
quchen/vsafe
github

quchen

Reviews

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

Repository Details

vsafe - Very Simple Asymmetric File Exchange

More Repositories

1

articles

Miscellaneous articles. The readme is the table of contents.
Haskell
1,249
star
2

stgi

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
Haskell
526
star
3

prettyprinter

A modern, extensible and well-documented prettyprinter.
Haskell
293
star
4

generative-art

I wanted to make a nicer sticker for Munihac, then things got out of hand.
Haskell
148
star
5

stackage-everything

»I want Stackage on an airplane and I have only 3 minutes until takeoff«
Haskell
83
star
6

acme-everything

Install everything.
Haskell
20
star
7

amoeba

Amœba is a distributed network.
Haskell
18
star
8

show-prettyprint

Robust prettyprinter for output of auto-generated Show instances
Haskell
18
star
9

hackage-graph

A graph of the interdependencies of the packages of hackage.haskell.org.
Haskell
16
star
10

cabal-install-bin

Install binary packages in a temporary Cabal sandbox
Shell
16
star
11

unmaintainable_haskell

How to write unmaintainable Haskell code
12
star
12

talks

A collection of the talks I’ve given in the past.
JavaScript
11
star
13

stackalone

Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
Haskell
10
star
14

agda-learning

Stuff I’m writing to learn Agda.
Agda
9
star
15

quchen.github.io

My online ID card.
7
star
16

binary-typed

Thin type-safe layer for the Haskell Binary library.
Haskell
5
star
17

ErgoDox

Fire-and-forget build system for configuring my Infinity Ergodox
Haskell
5
star
18

HaskellEuler

Project Euler using Haskell
Haskell
5
star
19

pgp-wordlist

Translate between binary data and a human-readable collection of words.
Haskell
5
star
20

lambda-ski

A lambda and SKI calculus playground
Haskell
4
star
21

geb-miu-puzzle

Visualize the GEB MIU puzzle using Haskell and GraphViz
Graphviz (DOT)
4
star
22

shack

An experimental library for writing quick-and-dirty shell scripts using Haskell.
Haskell
4
star
23

client-server-example

Simple IO-heavy application for demonstration purposes
Haskell
3
star
24

wr21

TNG Winterretreat 2021
C++
3
star
25

penrose

Generating penrose tilings with Haskell and Cairo
Haskell
3
star
26

voron

G-code
3
star
27

factorio

Shell
3
star
28

qa-playground

Full QA example in Haskell: Various testsuites, test coverage, benchmarks.
Haskell
2
star
29

workshop-2020-01-tum

Haskell
2
star
30

crypto-test

Basic cryptography APIs
Haskell
2
star
31

hpio

GPIO library for Haskell
Haskell
2
star
32

frp-workshop

Files for a workshop on FRP, using the Reactive Banana library.
Haskell
2
star
33

acme-language-extensions

Library that checks whether certain Haskell language extensions are enabled. Use in production immediately.
Haskell
2
star
34

factorio-blueprints

View and modify blueprints from the »Factorio« computer game.
Haskell
1
star
35

generustive

Implementing parts of my generative-art project using Rust as a learning project.
Rust
1
star
36

hscheme

Scheme (R5RS) interpreter in Haskell
Haskell
1
star
37

rustfuck

A Brainfuck interpreter written in Rust.
Rust
1
star
38

munihac-2018-beginner

JavaScript
1
star