polazarus

hipstr

Rust 1 0

Yet another string type for Rust

Updated 2026-06-17 05:48:30 +00:00

password-input

0 0

Updated 2026-02-10 08:53:55 +00:00

rodeo

Rust 0 0

Fast dropping untyped arena for Rust

Updated 2024-04-09 15:30:04 +00:00

typst-svg-emoji

Python 0 0

Support Emoji in Typst now!

Updated 2024-03-25 15:02:59 +00:00

ocamlyices

OCaml 0 0

Yices SMT solver's binding for the OCaml programming language

Updated 2023-08-10 12:35:59 +00:00

oclock

OCaml 2 0

Precise POSIX clock for OCaml

Updated 2019-03-14 16:54:38 +00:00

ocamlyices2

C 0 0

Yices 2 SMT solver binding for OCaml

Updated 2017-06-11 01:37:53 +00:00

cargo-mirror

Python 0 0

Updated 2017-03-11 15:02:02 +00:00

capstone-sys.rs

Rust 1 0

Low-level binding to Capstone for Rust

Updated 2016-07-19 18:26:04 +00:00

rust-hashcons

Rust 1 0

Hash-cons library for Rust

Updated 2015-11-29 18:56:52 +00:00

oclock-testing

C 0 0

OClock Testing Ground * Keep out ;) *

Updated 2015-01-31 12:31:24 +00:00

bedede

OCaml 3 0

Bédédé: a BDD library in OCaml

Updated 2014-11-14 22:13:29 +00:00

gedit-makefiletab

Python 0 0

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

Updated 2013-03-29 13:09:28 +00:00

z3-installer

Makefile 0 0

An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)

Updated 2012-11-16 13:50:21 +00:00

OFSM

OCaml 0 0

Finite State Machine for Ocaml

Updated 2011-09-16 11:10:44 +00:00