Pinned Repositories
amulet
An ML-like functional programming language
CC-Tweaked
Just another ComputerCraft fork
farming-hell
Yet another FGO servant planner
illuaminate
Very WIP static analysis for Lua
LuaCompilerProject
Optimising Compiler for Lua and its derivatives
luaj.luajc
LuaJC ported to the ASM framework
MirrorMark
Simple, yet extensible Markdown editor built with Codemirror.
Python-Clouds
Python Cloud generation with Pyglet and Perlin Noise
scrutiny
Bits and bobs for wrangling my server.
urn
Yet another Lisp variant which compiles to Lua
SquidDev's Repositories
SquidDev/illuaminate
Very WIP static analysis for Lua
SquidDev/farming-hell
Yet another FGO servant planner
SquidDev/waluaigi
The PUC Lua VM, compiled to Java.
SquidDev/lua_menhir
Parsing Lua in Lua with OCaml
SquidDev/omnomnom
An OCaml test runner inspired by Tasty
SquidDev/scrutiny
Bits and bobs for wrangling my server.
SquidDev/agda
Agda is a dependently typed programming language / interactive theorem prover.
SquidDev/fg-composite-demo
Demo Composite build for ForgeGradle
SquidDev/ocaml-lsp-subtree
SquidDev/where-the-heart-is
:house: is where the :heart: is
SquidDev/bc23-pack
Pack for BlanketCon 23.
SquidDev/bruh-moment
Configurable player interaction
SquidDev/Bus
Event firing and listening framework, based on the event bus concept
SquidDev/diff-poetry-lock
A Github Action that posts a summary of all changes within the poetry.lock file to a pull request
SquidDev/eio
Effects-based direct-style IO for multicore OCaml
SquidDev/fabric
Essential hooks for modding with Fabric.
SquidDev/ForgeGradle
Minecraft mod development framework used by Forge and FML for the gradle build system
SquidDev/grenier
Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)
SquidDev/lrgrep
Menhir polishing toolbox, for experienced druids
SquidDev/lsp
Haskell library for the Microsoft Language Server Protocol
SquidDev/marshmallow_dataclass
Automatic generation of marshmallow schemas from dataclasses.
SquidDev/MinecraftForge
Modifications to the Minecraft base files to assist in compatibility between mods.
SquidDev/Mixin
Mixin is a trait/mixin and bytecode weaving framework for Java using ASM
SquidDev/NeoForge
Neo Modding API for Minecraft, based on Forge
SquidDev/NeoGradle
Gradle plugin for NeoForge development
SquidDev/nginx-module-vts
Nginx virtual host traffic status module
SquidDev/ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
SquidDev/plugins
🍣 The one-stop shop for official Rollup plugins
SquidDev/squiddev.cc
My personal website. Not especially interesting, sorry.
SquidDev/teavm
Compiler of Java bytecode to JavaScript