Petri Lehtinen (@akheron)

Top repositories

1

jansson

C library for encoding, decoding and manipulating JSON data
C
3,072
star
2

optics-ts

Type-safe, ergonomic, polymorphic optics for TypeScript
TypeScript
769
star
3

typera

Type-safe routes for Express and Koa
TypeScript
175
star
4

sqltyper

TypeScript types for raw PostgreSQL queries
TypeScript
126
star
5

cpython

**No longer updated!** CPython has moved to GitHub: https://github.com/python/cpython
Python
61
star
6

sala

Simple encrypted password storage
Rust
28
star
7

typera-openapi

Generate OpenAPI spec from typera routes
TypeScript
23
star
8

stango

Static web site generator for Python programmers
Python
23
star
9

diceware.py

Diceware passphrase generator
Python
20
star
10

multipy

Install multiple Python versions locally
Shell
19
star
11

dependabot-cron-action

Merge Dependabot pull requests in a cron schedule
TypeScript
10
star
12

cram

Git mirror of https://bitbucket.org/brodie/cram/
Python
8
star
13

skijump3-remake

Skijump International v3 (remake)
Rust
5
star
14

hashtable

A hashtable implementation
C
5
star
15

emacs-config

My emacs configuration
Emacs Lisp
4
star
16

xkb

My XKB config
4
star
17

elm-easter

Compute the date of Easter for any given year
Elm
3
star
18

purescript-httpure-extras

Common utilities for HTTPure
PureScript
3
star
19

passman

2
star
20

brainfuck

Brainfuck interpreter written in Elm
Elm
2
star
21

www.digip.org

The Stango project for my personal website
HTML
2
star
22

wings-reverse

Reversing Wings 1.40
Rust
2
star
23

git-hg

Push and pull from a Hg server using git
Shell
2
star
24

sinap

Sinap IRC bot
Python
1
star
25

microposture

A program for 2 micro:bit devices for monitoring your back posture
Python
1
star
26

jansson-debian

Debianization for Jansson
C
1
star
27

jansson-debian-pre2.0

Debianization for Jansson
Shell
1
star
28

sahko

Control electrical devices by turning GPIO pins on and off on a Raspberry Pi based on the electricity spot price
Rust
1
star