LLVM Backend and Native Runtime for Idris2
Fast Idris2 Doc Browser with Fuzzy Matching
Nextcloud App to Manage Chores
Exercise tracking for running and cycling
TLS Certificate Expiration Monitor (Prometheus Exporter)
4017867 Implement literals for constant Bits{8,16,32,64} values
~cypheon pushed to ~cypheon/rapid git
725b12e Port Buffer and StringIterator builtins over to new allocation mechanism
~cypheon pushed to ~cypheon/rapid git
20e61b9 Implement fastUnpack using a C builtin as well as ConstCase for Char
~cypheon pushed to ~cypheon/rapid git
9251cf2 Implement fastUnpack in RTS (not yet hooked up)
~cypheon pushed to ~cypheon/rapid git
2ee0c63 Implement foreign calls and bring back fastPack and fastConcat
~cypheon pushed to ~cypheon/rapid git
6a4852a Implement many Int, Int64, and Bits64 operators
~cypheon pushed to ~cypheon/rapid git
bafccda Update docs & scripts to account for recent Idris2 upstream
~cypheon pushed to ~cypheon/idris2-quickdocs git
1e8e355 Merge branch 'main' into new-alloc
~cypheon pushed to ~cypheon/rapid git
a6d17f6 Prevent duplicate index entries (e.g. interface implementations)
~cypheon pushed to ~cypheon/idris2-quickdocs git
61aec3c Turn Data Constructors with constant members into constants
~cypheon pushed to ~cypheon/rapid git
9f61915 [refactor] Get rid of
Reg RVal
usage in builtins, make sure all builtins return a value
~cypheon pushed to ~cypheon/rapid git
2715e1d Extract closure handling code into separate module
~cypheon pushed to ~cypheon/rapid git
bf83b25 Turn closures without arguments into constants
~cypheon pushed to ~cypheon/rapid git