rapid

LLVM Backend and Native Runtime for Idris2

idris2-quickdocs

Fast Idris2 Doc Browser with Fuzzy Matching

nextcloud-chores

Nextcloud App to Manage Chores

trakka

Exercise tracking for running and cycling

ecertmon

TLS Certificate Expiration Monitor (Prometheus Exporter)

Activity

4017867 Implement literals for constant Bits{8,16,32,64} values

~cypheon pushed to ~cypheon/rapid git

2 days ago via rapid

17c7187 Implement TypeCase

~cypheon pushed to ~cypheon/rapid git

2 days ago via rapid

790a4ac Implement Double primitives

~cypheon pushed to ~cypheon/rapid git

2 days ago via rapid

725b12e Port Buffer and StringIterator builtins over to new allocation mechanism

~cypheon pushed to ~cypheon/rapid git

2 days ago via rapid

20e61b9 Implement fastUnpack using a C builtin as well as ConstCase for Char

~cypheon pushed to ~cypheon/rapid git

3 days ago via rapid

9251cf2 Implement fastUnpack in RTS (not yet hooked up)

~cypheon pushed to ~cypheon/rapid git

3 days ago via rapid

2ee0c63 Implement foreign calls and bring back fastPack and fastConcat

~cypheon pushed to ~cypheon/rapid git

3 days ago via rapid

6a4852a Implement many Int, Int64, and Bits64 operators

~cypheon pushed to ~cypheon/rapid git

3 days ago via rapid

bafccda Update docs & scripts to account for recent Idris2 upstream

4 days ago via idris2-quickdocs

1e8e355 Merge branch 'main' into new-alloc

~cypheon pushed to ~cypheon/rapid git

3 months ago via rapid

a6d17f6 Prevent duplicate index entries (e.g. interface implementations)

4 months ago via idris2-quickdocs

61aec3c Turn Data Constructors with constant members into constants

~cypheon pushed to ~cypheon/rapid git

4 months ago via rapid

9f61915 [refactor] Get rid of Reg RVal usage in builtins, make sure all builtins return a value

~cypheon pushed to ~cypheon/rapid git

4 months ago via rapid

2715e1d Extract closure handling code into separate module

~cypheon pushed to ~cypheon/rapid git

4 months ago via rapid

bf83b25 Turn closures without arguments into constants

~cypheon pushed to ~cypheon/rapid git

4 months ago via rapid
1 / 27