Forgejo: Beyond coding. We forge.

michael/ leanshot

Rust 0 1

Screenshot utility for Linux

Updated 2023-01-31 19:17:15 +00:00

michael/ stlc-fstar-proof

0 0

Updated 2024-05-22 16:12:32 +00:00

michael/ abs-cfr

Rust 0 0

Updated 2020-12-10 06:32:00 +00:00

michael/ localwaka

Python 0 0

Local server for wakatime, statistics for coding activity

Updated 2020-12-21 20:08:38 +00:00

michael/ e0

Rust 0 0

Updated 2024-05-01 05:17:06 +00:00

michael/ pfpl-structural-editor

0 0

Updated 2024-04-22 07:21:54 +00:00

michael/ grub-fork

Clojure 0 0

Forked from https://github.com/hoodunit/grub

Updated 2021-08-11 15:30:39 +00:00

school/ csci8980-f23

Rust 0 0

CSCI 8980 (002) Special Advanced Topics in Computer Science (Fall 2023)

Updated 2024-01-26 20:36:33 +00:00

michael/ cinny

JavaScript 0 0

Fork of Cinny

cinny cinnyapp client hacktoberfest matrix matrix-org reactjs

Updated 2023-04-05 14:27:00 +00:00

michael/ really-big-primes

Rust 0 0

Updated 2023-10-26 22:23:32 +00:00

school/ csci5271

C 0 0

CSCI 5271 (2017F): Intro to Computer Security

Updated 2023-05-16 14:20:52 +00:00

michael/ graveyard

Rust 0 0

Updated 2022-05-09 16:58:21 +00:00

michael/ aoc2022

Python 0 0

Updated 2023-01-01 18:45:49 +00:00

school/ web-api-manager

JavaScript 0 0

Updated 2021-08-09 08:02:33 +00:00

michael/ enrecipes

Updated 2024-04-20 23:36:46 +00:00

michael/ multiclip

Makefile 0 0

Select multiple clipboard targets using ableC

Updated 2020-11-02 20:32:34 +00:00

michael/ fedhub

Rust 0 0

Updated 2021-01-09 17:27:06 +00:00

school/ coursera-recommender-systems

Java 0 0

Updated 2022-05-15 06:31:23 +00:00

experiment/ coq-ssh

OCaml 0 0

SSH implementation with properties in Coq

Updated 2021-07-13 19:24:08 +00:00

michael/ popl-paper-ocaml

F* 0 0

Updated 2024-05-13 17:07:41 +00:00