• Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    TypeScript
  • Created over 3 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

Merge Dependabot pull requests in a cron schedule

More 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

cram

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

skijump3-remake

Skijump International v3 (remake)
Rust
5
star
13

hashtable

A hashtable implementation
C
5
star
14

emacs-config

My emacs configuration
Emacs Lisp
4
star
15

xkb

My XKB config
4
star
16

elm-easter

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

purescript-httpure-extras

Common utilities for HTTPure
PureScript
3
star
18

passman

2
star
19

brainfuck

Brainfuck interpreter written in Elm
Elm
2
star
20

www.digip.org

The Stango project for my personal website
HTML
2
star
21

wings-reverse

Reversing Wings 1.40
Rust
2
star
22

git-hg

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

sinap

Sinap IRC bot
Python
1
star
24

microposture

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

jansson-debian

Debianization for Jansson
C
1
star
26

jansson-debian-pre2.0

Debianization for Jansson
Shell
1
star
27

sahko

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