dyedgreen
Physics, Maths and Programming. I study computer science at Imperial College London. Languages I like include JavaScript, C, Rust, OCaml, Go, Python, and Ruby.
London
dyedgreen's Stars
minimaxir/big-list-of-naughty-strings
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
astral-sh/ruff
An extremely fast Python linter and code formatter, written in Rust.
alpinejs/alpine
A rugged, minimal framework for composing JavaScript behavior in your markup.
opentofu/opentofu
OpenTofu lets you declaratively manage your cloud infrastructure.
facebook/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
apple/foundationdb
FoundationDB - the open source, distributed, transactional key-value store
semgrep/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
wader/fq
jq for binary formats - tool, language and decoders for working with binary and text formats
facebook/pyre-check
Performant type-checking for python.
ravenscroftj/turbopilot
Turbopilot is an open source large-language-model based code completion engine that runs locally on CPU
gluesql/gluesql
GlueSQL is quite sticky. It attaches to anywhere.
mtshiba/pylyzer
A fast static code analyzer & language server for Python
microsoft/vscode-languageserver-node
Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on node.js
microsoft/vscode-jupyter
VS Code Jupyter extension
denoland/dnt
Deno to npm package build tool.
astral-sh/ruff-vscode
A Visual Studio Code extension with support for the Ruff linter.
TypeFox/monaco-languageclient
Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples
melange-re/melange
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Not-Nik/raylib-zig
Manually tweaked, auto-generated raylib bindings for zig. https://github.com/raysan5/raylib
stedolan/counterexamples
Counterexamples in Type Systems
microsoft/vscode-wasm
A WASI implementation that uses VS Code's extension host as the implementing API
janestreet/bonsai
A library for building dynamic webapps, using Js_of_ocaml
replit/codemirror-vim
Vim keybindings for CM6
FurqanSoftware/codemirror-languageserver
Language Server integration for CodeMirror 6
certik/fastGPT
Fast GPT-2 inference written in Fortran
janestreet/ppx_expect
Cram like framework for OCaml
Gopiandcode/petrol
Petrol's an OCaml SQL API made to go FAST.
danobi/vmtest
Helps run tests in virtual machines
codemirror/merge
Merge view for CodeMirror