- United Kingdom
- https://squiddev.cc/
- https://social.squiddev.cc/@squid
Starred repositories
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Type-safe Lua IDE — IntelliJ IDEA plugin
Convert your ascii diagram scribbles into happy little SVG
front-end to ocamlfind (from findlib) to add a few new commands
Next generation distributed, event-driven, parallel config management!
fluencelabs / asmble
Forked from cretz/asmbleCompile WebAssembly to JVM and other WASM tools
JQF + Zest: Coverage-guided semantic fuzzing for Java.
The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
Coverage-guided, in-process fuzzing for the JVM
Microsoft MakeCode (PXT - Programming eXperience Toolkit)
A code rewrite tool for structural search and replace that supports ~every language.
kmswlee / UGATIT
Forked from taki0112/UGATITOfficial Tensorflow implementation of U-GAT-IT: Unsupervised Generative Attentional Networks with Adaptive Layer-Instance Normalization for Image-to-Image Translation (ICLR 2020)
⚡ Native, high-performance, cross-platform desktop apps - built with Reason!
C1710 / blobmoji
Forked from googlefonts/noto-emojiNoto Emoji with extended Blob support
Parsing, analyzing, and comparing source code across many languages
💥💻💥 A data-parallel functional programming language
Proving leftpad correct two-dozen different ways
A language server that offers Lua language support - programmed in Lua
twright / bondwb
Forked from chrisbanks/cpiwbBond calculus workbench and Continuous pi workbench combined repo
JavaScript syntax tree transformer, nondestructive pretty-printer, and automatic source map generator
A dependency free, embeddable debugger for Lua in a single file (.lua or .h)