• Stars
    star
    119
  • Rank 288,661 (Top 6 %)
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created almost 10 years ago
  • Updated 4 months ago

Reviews

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

Repository Details

My personal site

Blog

This is the source code for my personal site. It is a static site generated by a homemade generator written in Haskell.

The generator includes a tiny templating engine, an html and css minifier, and an aggressive font subsetter. One of my objectives was to cut all the crap (which almost by definition includes javascript) without compromising on design. An average page of my site weighs less than jQuery alone (which describes itself as “lightweight footprint”). That includes webfonts.

This is version three of my blog. Previously I used Hakyll (available in the archived-hakyll branch), and before that I used Jekyll.

License

The source code for this site is licensed under version 3 of the the GNU General Public Licence. See the licence file. The content of the posts is licensed under the Creative Commons BY SA licence. For the font license details, see the readme in the fonts directory.

Compiling

All dependencies are available in a Nix ≥ 2.14 development environment that you can enter with

$ nix develop --command $SHELL

This will bring a python3 on the path with the right requirements for font subsetting, as well as the blog generator itself, and tools for compressing images.

The generator gets built as part of the development environment, but you can also compile it manually with GHC if you like. Then build the site (requires fonts to be present):

$ ghc -o blog src/*.hs # Optional
$ blog

More Repositories

1

hound

A wav encoding and decoding library in Rust
Rust
433
star
2

claxon

A FLAC decoder in Rust
Rust
279
star
3

pris

A language for designing slides
Rust
114
star
4

rcl

A reasonable configuration language
Rust
110
star
5

robigo-luculenta

Proof of concept spectral path tracer in Rust
Rust
107
star
6

musium

Music playback daemon with web-based library browser
Rust
70
star
7

luculentus

Proof of concept spectral path tracer
C++
45
star
8

convector

Interactive CPU path tracer
Rust
42
star
9

thread-id

Get a unique thread ID in Rust
Rust
40
star
10

filebuffer

Fast and simple file reading for Rust
Rust
35
star
11

noblit

An immutable append-only database
Rust
27
star
12

bs1770

A Rust library that implements ITU-R BS.1770-4 loudness measurement
Rust
18
star
13

kilsbergen

A clean MkDocs theme
HTML
10
star
14

transducers

A transducer library for Rust
Rust
10
star
15

hoff

A gatekeeper for your commits
Haskell
8
star
16

rx

Reactive programming for Rust
Rust
8
star
17

tako

Updater for single files
Rust
7
star
18

sempervivum

A plant watering tracker
PureScript
7
star
19

sqlog

Ingest Nginx logs into a SQLite database for easy querying
Python
7
star
20

notes

Make Git remember so I don’t have to
6
star
21

dotfiles

My universal personal configuration
Vim Script
5
star
22

deadlock

Fast search-based password manager
C++
5
star
23

hanson

Self-hosted prediction market app
Python
5
star
24

fibint

Compute Fibonacci numbers efficiently using finite fields
C++
4
star
25

squiller

Generate boilerplate from annotated SQL queries
Rust
4
star
26

miniserver

Nginx and Lego on Flatcar Linux
Python
4
star
27

bscthesis

The source for my bachelor’s thesis
TeX
3
star
28

gitscrobbler

Cross-reference commit history with your Last.fm scrobbles
C#
3
star
29

zerorack

Experiments with circuit compilation and zk-snarks
Haskell
3
star
30

hitsgame

Create your own version of the game Hitster
Python
3
star
31

btrfs-mirror-subvolumes

Mirror btrfs subvolumes to another file system while preserving sharing
Rust
2
star
32

rust-utrecht

Source code to go with the Rust Utrecht meetups
Rust
2
star
33

audiograter

A GTK-based spectrogram viewer
Rust
2
star
34

adventofcode

My solutions to Advent of Code
Pony
1
star
35

basstrace

Visualize room acoustics
Rust
1
star
36

christmas-tree

An API for lighting up my Christmas tree
Haskell
1
star
37

deepnote

Generate track embeddings based on listening history
Python
1
star
38

git-dep

A tool to manage dependent branches
Haskell
1
star
39

ggj15

Global Game Jam 2015 game
C#
1
star