Popular repositories Loading

1. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover. (This fork contain some incompatible hacks/quick fixes for my local projects)

   Haskell

2. test test Public

3. agda2hs agda2hs Public

   Forked from agda/agda2hs

   Compiling Agda code to readable Haskell (modified for local use)

   Agda

4. pop pop Public

   Lean

5. sqlite3-timespec sqlite3-timespec Public

   Simple nanosecond datetime using C11 time.h in sqlite3.

   C

6. ddb_playlist_item_meta ddb_playlist_item_meta Public

   Additional metadata on tracks in playlists. Currently only date added (%:playlist_added%).

   C