polazarus

France

Pinned Repositories

capstone-sys.rs
Low-level binding to Capstone for Rust
Language:Rust4 2 10
clerk
A configuration file loader for OCaml
Language:OCaml4 3 00
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
Language:Python3 3 00
hipstr
Yet another string type for Rust
Language:Rust79 2 45
ocamlyices
Yices SMT solver's binding for the OCaml programming language
Language:OCaml7 4 73
ocamlyices2
Yices 2 SMT solver binding for OCaml
Language:C3 2 21
oclock
Precise POSIX clock for OCaml
Language:OCaml13 2 32
rodeo
Fast dropping untyped arena for Rust
Language:Rust7 2 10
typst-svg-emoji
Support Emoji in Typst now!
Language:Python16 2 52
z3-installer
An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)
Language:Shell9 5 01