rapid

LLVM Backend and Native Runtime for Idris2

idris2-quickdocs

Fast Idris2 Doc Browser with Fuzzy Matching

trakka

Exercise tracking for running and cycling

nextcloud-chores

Nextcloud App to Manage Chores

ecertmon

TLS Certificate Expiration Monitor (Prometheus Exporter)

Activity

a5b75d2 Implement high-level GC statistics

~cypheon pushed to ~cypheon/rapid git

2 hours ago via rapid

bbcdc12 Increase swap size for FreeBSD CI build

~cypheon pushed to ~cypheon/rapid git

a day ago via rapid

fead2fd Implement bitwise XOR for Integer

~cypheon pushed to ~cypheon/rapid git

a day ago via rapid

f039cbb CI: Use Python 3.8 PIP on FreeBSD

~cypheon pushed to ~cypheon/rapid git

2 days ago via rapid

c7ef110 Reset errno before calling getline

~cypheon pushed to ~cypheon/rapid git

2 days ago via rapid

478f3a5 Correctly handle negative Integer literals

~cypheon pushed to ~cypheon/rapid git

2 days ago via rapid

7b9915c Update code for current version of upstream Idris 2

~cypheon pushed to ~cypheon/rapid git

8 days ago via rapid

12e9ed8 Escape "pipe" character when preparing the search regex

25 days ago via idris2-quickdocs

21a35a0 Add additional assert in custom LLVM pass

~cypheon pushed to ~cypheon/rapid git

26 days ago via rapid

7efd478 Add Sourcehut CI build manifest for FreeBSD

~cypheon pushed to ~cypheon/rapid git

26 days ago via rapid

236ecf8 Show error when a non-existing test is specified

~cypheon pushed to ~cypheon/rapid git

28 days ago via rapid

fffde7c Search for lit executable for LLVM pass tests

~cypheon pushed to ~cypheon/rapid git

28 days ago via rapid

1ce4597 Remove unneeded preprocessor flag _POSIX_C_SOURCE

~cypheon pushed to ~cypheon/rapid git

28 days ago via rapid

2c09de2 Include <sys/socket.h> to make sure sockaddr_storage is defined

~cypheon pushed to ~cypheon/rapid git

28 days ago via rapid

ef92ff9 Remove unnecessary include of <alloca.h>

~cypheon pushed to ~cypheon/rapid git

28 days ago via rapid
1 / 19