polazarus's repositories
typst-svg-emoji
Support Emoji in Typst now!
z3-installer
An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)
ocamlyices
Yices SMT solver's binding for the OCaml programming language
capstone-sys.rs
Low-level binding to Capstone for Rust
gedit-makefiletab
A Gedit plugin to automatically use tabulations when editing Makefiles, see http://git.gitano.org.uk/personal/liw/makefiletab3.git/ for up-to-date plugin
ocamlyices2
Yices 2 SMT solver binding for OCaml
oclock-testing
OClock Testing Ground * Keep out ;) *
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
highlight.js
Javascript syntax highlighter
learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
neovim-gnome-terminal-wrapper
Wrapper for running neovim in a separate instance of gnome-terminal
nom
Rust parser combinator framework
ocaml
Read-only mirror of INRIA SVN
ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
poole
A damn simple static website generator. This is a mirror of the repository hosted at BitBucket.
rust
a safe, concurrent, practical language
rust-guide
Recommendations for secure applications development with Rust
rust-hashcons
Hash-cons library for Rust