hlandau/specwriter hlandau/specwriter

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Scheme
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hlandau/specwriter
github

hlandau

Reviews

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

Repository Details

Writing natural-language technical specifications in Guile Scheme

More Repositories

1

acmetool

πŸ”’ acmetool, an automatic certificate acquisition tool for ACME (Let's Encrypt)
Go
2,015
star
2

service

⚑ Easily write daemonizable services in Go
Go
500
star
3

passlib

πŸ”‘ Idiotproof golang password validation library inspired by Python's passlib
Go
287
star
4

acme.t

ACME automatic certificate acquisition tool. Repository has moved to:
70
star
5

ortega

Ortega FDK
C
56
star
6

portmap

πŸš₯ Port mapping library for Go supporting NAT-PMP and UPnP
Go
33
star
7

kvmtest

An experimental VMM for KVM written in pure Python
Python
21
star
8

tftp2httpd

πŸ“ Serve files over TFTP from HTTP.
Makefile
20
star
9

captcha

πŸ‘“ Go CAPTCHA
Go
10
star
10

tn5250

VT terminal-based 5250 emulator (5250->xterm adapter) and library
C
10
star
11

kconfigreport

Reports of how the Linux kernel is configured by different distributions.
Python
9
star
12

madns

🌐 Authoritative DNS server engine for Go
Go
9
star
13

acmeapi

ACMEv2 client library for Go. See branch "new" for current version (gopkg.in/hlandau/acmeapi.v2)
Go
9
star
14

memu

ARMv8-M/Cortex-M emulator/simulator
C++
9
star
15

ncdocs

Various Namecoin-related documents
GCC Machine Description
7
star
16

ncdns.t

Namecoin to DNS bridge daemon. This repository has moved to
7
star
17

svcutils

⚑ Utilities for writing services in Go
Go
7
star
18

configurable

πŸ’Ύ Function-free golang integration nexus for configuration
Go
6
star
19

ircproto

IRC protocol client library and bot
Go
6
star
20

compex

ℹ️ GCC/clang compiler plugins for the dumping of C++ type information in a machine-readable format
C++
6
star
21

parazmq

🚧 Pure Go implementation of ZMTP/3.0 (ZeroMQ's protocol) (*work in progress*)
Go
5
star
22

measurable

πŸ“ˆ Function-free golang integration nexus for metrics
Go
4
star
23

tags-active-demo

Demo program for use of memory tagging on POWER9 (Talos/Blackbird)
C
4
star
24

eddsa

πŸ”‘ Structures for safe handling of Ed25519 keys
Go
4
star
25

ovmfvartool

Generate and dump OVMF_VARS.fd files to/from YAML
Python
4
star
26

easyconfig

πŸ’Ύ Easy bindings for hlandau/configurable
Go
4
star
27

degoutils

🚧 Go utilities
Go
4
star
28

buildinfo

Go utilities for tracking build information
Go
3
star
29

nomadircd

🚧 IRC daemon written in Go. Rough.
Go
3
star
30

dht

🚧 BitTorrent Mainline DHT implementation (work in progress)
Go
3
star
31

expect-ct-lite

OpenSSL example code for Expect-CT Lite
C
2
star
32

winnmc

Don't use this
Batchfile
2
star
33

irc

An IRC client library for Go
Go
2
star
34

namesync

🌐 Synchronize the namecoin name database with a PostgreSQL database
Go
2
star
35

rilts

Repository-Integrated Licence Tracking Specification (RILTS)
Go
2
star
36

mnt-reform-freebsd

Scripts for MNT Reform FreeBSD enablement work
Shell
2
star
37

openssl-ddd

C
2
star
38

easymetric

πŸ“ˆ Easy bindings for hlandau/measurable
Go
2
star
39

armparse

Python
2
star
40

tldinfo

JSON-formatted TLD information
Shell
2
star
41

altirc

2
star
42

condorcet

Condorcet voting for Go
Go
2
star
43

js.Context

Go-style context for Node.js
TypeScript
2
star
44

modtestx

Go
1
star
45

dds-tools

Some old AS/400 tool that was part of the tn5250 project
C
1
star
46

strawtool

Go
1
star
47

modtest2

Go
1
star
48

goutils

Miscellaneous Go utility packages.
Go
1
star
49

x5250

Old x5250 emulator patched to work on modern systems
C
1
star
50

asdbget

Some old AS/400 tool that was part of the tn5250 project
C
1
star
51

js.UUID

UUID library for JS.
TypeScript
1
star
52

gnome-5250

Some old AS/400 tool that was part of the tn5250 project
C
1
star
53

js.SQLAPI-Pg

PostgreSQL database driver for SQLAPI
TypeScript
1
star
54

dexlogconfig

Personal policy and configuration package for xlog.
Go
1
star
55

draft-landau-websec-key-pinning-really

πŸ“œ No, really
Makefile
1
star
56

dedoc

Write technical documents in Scheme
Scheme
1
star
57

xlog

πŸ“„ Logging library for Go
Go
1
star
58

coincheck

IRC Bitcoin ticker written in Go.
Go
1
star
59

ctmon

πŸ”
Go
1
star
60

ncbtcjsontypes

Namecoin RPC types for btcjson
Go
1
star
61

tftpsrv

πŸ“ Go TFTP server library
Go
1
star
62

goproj

Utilities for managing Go projects
Shell
1
star
63

js.Net

Go-style networking library for Node.js
TypeScript
1
star
64

js.Math

Math libraries for JS.
TypeScript
1
star
65

nccald

Namecoin calendar notification daemon (ICS, CalDAV)
Go
1
star
66

hlandau.github.io

HTML
1
star
67

nctestsuite

Namecoin domain name test suite
Go
1
star
68

nczilla

🚧 Mozilla extension under development.
JavaScript
1
star
69

sx

S-expression parser for Go
Go
1
star
70

js.SQLAPI

Generic SQL driver abstraction layer for Node.js.
TypeScript
1
star