polazarus

polazarus

Geek Repo

Location:France

Github PK Tool:Github PK Tool

polazarus's repositories

hipstr

Yet another string type for Rust

Language:RustLicense:Apache-2.0Stargazers:43Issues:3Issues:3

typst-svg-emoji

Support Emoji in Typst now!

Language:PythonLicense:MITStargazers:14Issues:2Issues:1

oclock

Precise POSIX clock for OCaml

Language:OCamlLicense:ISCStargazers:12Issues:2Issues:3

z3-installer

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

Language:ShellStargazers:9Issues:0Issues:0

ocamlyices

Yices SMT solver's binding for the OCaml programming language

rodeo

Fast dropping untyped arena for Rust

Language:RustLicense:Apache-2.0Stargazers:6Issues:2Issues:1

capstone-sys.rs

Low-level binding to Capstone for Rust

Language:RustLicense:MITStargazers:4Issues:0Issues:0

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:PythonStargazers:3Issues:0Issues:0

ocamlyices2

Yices 2 SMT solver binding for OCaml

Language:CLicense:ISCStargazers:3Issues:2Issues:1

oclock-testing

OClock Testing Ground * Keep out ;) *

Language:CStargazers:2Issues:3Issues:0

bedede

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

Language:OCamlStargazers:1Issues:3Issues:0

node

evented I/O for v8 javascript

Language:JavaScriptLicense:NOASSERTIONStargazers:1Issues:2Issues:0

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.

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:0Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:1Issues:2Issues:0
Language:RustLicense:MITStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:1Issues:0

highlight.js

Javascript syntax highlighter

License:NOASSERTIONStargazers:0Issues:0Issues:0

learnxinyminutes-docs

Code documentation written as code! How novel and totally my idea!

Language:JavaScriptStargazers:0Issues:0Issues:0

neovim-gnome-terminal-wrapper

Wrapper for running neovim in a separate instance of gnome-terminal

Language:PythonStargazers:0Issues:2Issues:0

nom

Rust parser combinator framework

Language:RustLicense:MITStargazers:0Issues:0Issues:0

ocaml

Read-only mirror of INRIA SVN

License:NOASSERTIONStargazers:0Issues:0Issues:0

ocp-indent

Indentation tool for OCaml, to be used from editors like Emacs and Vim.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

poole

A damn simple static website generator. This is a mirror of the repository hosted at BitBucket.

Language:JavaScriptStargazers:0Issues:0Issues:0

rust

a safe, concurrent, practical language

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rust-elf

Library for parsing ELF files for Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:3Issues:0

rust-guide

Recommendations for secure applications development with Rust

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

rust-hashcons

Hash-cons library for Rust

Language:RustLicense:MITStargazers:0Issues:2Issues:0

rust-www

The Rust website

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:3Issues:0

tiny-std

A tiny Rust std-lib for Linux x86_64 and aarch64

Language:RustLicense:MPL-2.0Stargazers:0Issues:1Issues:0

vim-toml

Vim syntax for TOML

Language:Vim ScriptLicense:MITStargazers:0Issues:3Issues:0