Llnski's repositories
Logic-Manual-Svelte
This one uses webpack
the-logic-manual-lean
Logic manual lean web editor
Arrows
Messing with glsl.
Language:HTML000
Cycloid-Palettes
Generates a color palette by taking points along a cycloid curve.
Language:Svelte000
FRC2022
holds code for the 2022 FRC season
Language:JavaNOASSERTION000
Language:CSSApache-2.0000
Language:Lua000
oh-my-posh
A prompt theme engine for any shell.
Language:GoMIT000
PyLispjureetthon
They said it couldn't be done
Language:Python000
Language:TypeScriptMIT000
Language:Apex000
Language:Svelte000
Language:JavaAGPL-3.0000
000
Language:Java000
template
Template for building basic applications with Svelte
000
tree-of-thoughts
Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%
Apache-2.0000
Language:JavaAGPL-3.0000
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]
MIT000