Jtrim777

Divvy HomesBoston, MA

Pinned Repositories

chinese-number-theorem
An ACL2s proof and solver for the Chinese Number Theorem
Language:Common Lisp00
Delphi
A classical Dungeon Crawler implemented in Scala
Language:Scala00
Delphi-old
A classical Dungeon Crawler implemented in Java
Language:Java00
gamelib
Language:Scala0 1 00
gamelib-lighting
00
KitchenMod
A Minecraft mod that adds further pastoral capability to the game
Language:Java00
language-acl2s
Language:CoffeeScript00
MinecraftForge
Modifications to the Minecraft base files to assist in compatibility between mods.
Language:Java00
nonograms-sat
Language:Python01
SilverKit
Language:Swift0 1 00

Jtrim777's Repositories

Jtrim777/chinese-number-theorem
An ACL2s proof and solver for the Chinese Number Theorem
Language:Common Lisp00
Jtrim777/Delphi
A classical Dungeon Crawler implemented in Scala
Language:Scala00
Jtrim777/Delphi-old
A classical Dungeon Crawler implemented in Java
Language:Java00
Jtrim777/gamelib
Language:Scala0 1 00
Jtrim777/gamelib-lighting
00
Jtrim777/KitchenMod
A Minecraft mod that adds further pastoral capability to the game
Language:Java00
Jtrim777/language-acl2s
Language:CoffeeScript00
Jtrim777/MinecraftForge
Modifications to the Minecraft base files to assist in compatibility between mods.
Language:Java00
Jtrim777/nonograms-sat
Language:Python01
Jtrim777/SilverKit
Language:Swift0 1 00
Jtrim777/silverlib
A collection of useful Java code
Language:Java
Jtrim777/tree-sitter-acl2s
A TreeSitter language parser for the ACL2 Sedan (an implementation of LISP)
Language:C
Jtrim777/workflow-tester