Pinned Repositories
brave_new_simplex
chalk
A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
com.sublimemerge.App
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
depygmentize
Use minted without --shell-escape
druid
Data-oriented Rust UI design toolkit.
flatpak
Linux application sandboxing and distribution framework
fuzzybab
hedgehog
mandelgo
Simple mandelbrot set generator
ineol's Repositories
ineol/brave_new_simplex
ineol/mandelgo
Simple mandelbrot set generator
ineol/chalk
A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler
ineol/com.sublimemerge.App
ineol/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
ineol/depygmentize
Use minted without --shell-escape
ineol/druid
Data-oriented Rust UI design toolkit.
ineol/flatpak
Linux application sandboxing and distribution framework
ineol/fuzzybab
ineol/hedgehog
ineol/io.alacritty.Alacritty
ineol/learn-ocaml
A Web Application for Learning OCaml
ineol/ineol.github.io
ineol/iris-project
ineol/lean4-metaprogramming-book
ineol/Linear-Cryptanalysis
ineol/lsp-mode
Emacs client/library for the Language Server Protocol
ineol/nixpkgs
Nix Packages collection
ineol/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
ineol/typst-prooftree
ineol/util-linux
ineol/xi-editor
A modern editor with a backend written in Rust. https://xi-editor.github.io/xi-editor