Pinned Repositories
capstone-sys.rs
Low-level binding to Capstone for Rust
clerk
A configuration file loader for OCaml
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
hipstr
Yet another string type for Rust
ocamlyices
Yices SMT solver's binding for the OCaml programming language
ocamlyices2
Yices 2 SMT solver binding for OCaml
oclock
Precise POSIX clock for OCaml
rodeo
Fast dropping untyped arena for Rust
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)
polazarus's Repositories
polazarus/hipstr
Yet another string type for Rust
polazarus/typst-svg-emoji
Support Emoji in Typst now!
polazarus/oclock
Precise POSIX clock for OCaml
polazarus/z3-installer
An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)
polazarus/ocamlyices
Yices SMT solver's binding for the OCaml programming language
polazarus/rodeo
Fast dropping untyped arena for Rust
polazarus/capstone-sys.rs
Low-level binding to Capstone for Rust
polazarus/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
polazarus/ocamlyices2
Yices 2 SMT solver binding for OCaml
polazarus/oclock-testing
OClock Testing Ground * Keep out ;) *
polazarus/bedede
Bédédé: a BDD library in OCaml
polazarus/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
polazarus/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
polazarus/capstone-rs
polazarus/cargo-mirror
polazarus/highlight.js
Javascript syntax highlighter
polazarus/learnxinyminutes-docs
Code documentation written as code! How novel and totally my idea!
polazarus/neovim-gnome-terminal-wrapper
Wrapper for running neovim in a separate instance of gnome-terminal
polazarus/nom
Rust parser combinator framework
polazarus/ocaml
Read-only mirror of INRIA SVN
polazarus/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
polazarus/poole
A damn simple static website generator. This is a mirror of the repository hosted at BitBucket.
polazarus/rust
a safe, concurrent, practical language
polazarus/rust-elf
Library for parsing ELF files for Rust
polazarus/rust-guide
Recommendations for secure applications development with Rust
polazarus/rust-hashcons
Hash-cons library for Rust
polazarus/rust-www
The Rust website
polazarus/string-rosetta-rs
Comparison of Rust string types
polazarus/tiny-std
A tiny Rust std-lib for Linux x86_64 and aarch64
polazarus/vim-toml
Vim syntax for TOML