• Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Shell
  • License
    MIT License
  • Created almost 4 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Dokku plugin to build images using Nix

More Repositories

1

corrode

C to Rust translator
Haskell
2,133
star
2

autobake

Create build recipes through automated trial and error
Python
51
star
3

optir

Compiler optimizer for arbitrary control flow based on equality saturation
Rust
45
star
4

weighted-regexp-rs

Rust port of "A Play on Regular Expressions"
Rust
31
star
5

static-ldd

Library and command-line tool for inferring dependencies between static libraries.
Rust
21
star
6

sniproxy-rs

Minimal reverse proxy, routing by SNI
Rust
15
star
7

wp-fullhistory

WordPress plugin for full-history RSS feeds conforming to RFC5005
PHP
8
star
8

percentagent

Guess strftime format strings given a date/time
Python
8
star
9

cvs-rs

CVS, translated to Rust
C
8
star
10

lotos

Tools for the LOTOS process calculus
Haskell
8
star
11

pikevm

An implementation of "Regular Expression Matching: the Virtual Machine Approach"
Rust
6
star
12

flashd

A minimal HTTP/1.1 server for static content
Rust
6
star
13

io-uring-futures

Rust Futures API for Linux io-uring asynchronous I/O
Rust
5
star
14

httpdir

Minimal reverse proxy, routing by HTTP Host header
Rust
5
star
15

shell-niggurath

The shell that spawns 1000 child processes
Python
5
star
16

pact

Processes agreeing to quit at the same time
C
4
star
17

reader-py

Full-history RSS reader for webcomics and serial fiction
Python
4
star
18

jterritory

Minimal JMAP server framework for prototyping
Python
4
star
19

css-feed-reader

Demo "RSS reader" using only CSS, no JS
XSLT
3
star
20

predictable

Generate full-history RSS feeds for sites that have predictable URLs
Python
3
star
21

reconstructability

Rust implementation of Reconstructability Analysis
Rust
2
star
22

osbridge-data

Public data from #osb15 for analysis
2
star
23

fullhistory-reader

Full-history RSS/Atom feed reader
HTML
1
star
24

share-svd

Find equivalent peripherals across many CMSIS-SVD files
Rust
1
star
25

flood-it

Brute-force search solver for "Flood-It" instances
Java
1
star
26

persistent-map

Persistent key-value maps in Rust
Nix
1
star
27

django-shrine

Convert Django templates to Jinja2
Python
1
star
28

2014-osbridge-gps

Open Source Bridge 2014 presentation: How GPS Works
JavaScript
1
star
29

acid-list

Disk-backed doubly-linked list and memory pool allocator in Rust
Rust
1
star
30

reader-rs

Desktop full-history RSS reader
Rust
1
star
31

http-cache-semantics

πŸ¦€ Parses HTTP headers to correctly compute cacheability of responses.
Rust
1
star
32

crawl-rss

Python
1
star
33

contextual-history

Identify related pages based on your browsing history
JavaScript
1
star