polazarus Goto Github PK
Name: polazarus
Type: User
Location: France
Name: polazarus
Type: User
Location: France
Bédédé: a BDD library in OCaml
Low-level binding to Capstone for Rust
A configuration file loader for OCaml
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
Javascript syntax highlighter
Yet another string type for Rust
Code documentation written as code! How novel and totally my idea!
Wrapper for running neovim in a separate instance of gnome-terminal
evented I/O for v8 javascript
Rust parser combinator framework
Read-only mirror of INRIA SVN
Yices SMT solver's binding for the OCaml programming language
Yices 2 SMT solver binding for OCaml
Precise POSIX clock for OCaml
OClock Testing Ground * Keep out ;) *
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
Finite State Machine for Ocaml
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Main public package repository for OPAM, the source package manager of OCaml.
A damn simple static website generator. This is a mirror of the repository hosted at BitBucket.
Fast dropping untyped arena for Rust
a safe, concurrent, practical language
Library for parsing ELF files for Rust
Recommendations for secure applications development with Rust
Hash-cons library for Rust
The Rust website
A tiny Rust std-lib for Linux x86_64 and aarch64
Support Emoji in Typst now!
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.