We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Nothin interesting hre
I stopped developing and have been using Github for file issues only
Little简Kanren - A Modern typed miniKanren dialect in Scala3
Scala 6 1
A proof assistant and a dependently-typed language
Java 257 16
C
A pixel art game using Swing, an assignment of Program Design and Construction
Java 3