rvantonder/zulip Fork of zulip/zulip

Zulip server - powerful open source team chat

Language: Python - Size: 209 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/zed Fork of ocaml-community/zed

Abstract engine for text edition in OCaml

Size: 280 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

rvantonder/XinputLogger

Language: Python - Size: 190 KB - Last synced: about 1 month ago - Pushed: over 11 years ago - Stars: 4 - Forks: 2

rvantonder/weeeee

Size: 3.91 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

rvantonder/try-frama-c

Language: OCaml - Size: 1.07 MB - Last synced: about 1 month ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rvantonder/vscode-solidity Fork of juanfranblanco/vscode-solidity

Visual Studio Code language support extension for Solidity smart contracts in Ethereum

Language: TypeScript - Size: 288 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/universalmutator Fork of agroce/universalmutator

Regexp based tool for mutating generic source code across numerous languages

Language: Python - Size: 142 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

rvantonder/VoiceOverIP

Language: Java - Size: 539 KB - Last synced: about 1 month ago - Pushed: over 12 years ago - Stars: 2 - Forks: 2

rvantonder/TypeScript-Sublime-Plugin Fork of microsoft/TypeScript-Sublime-Plugin

IO wrapper around TypeScript language services, allowing for easy consumption by editor plugins

Language: JavaScript - Size: 57.5 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/todomvc Fork of tastejs/todomvc

Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more

Language: JavaScript - Size: 115 MB - Last synced: about 1 month ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

rvantonder/transformation-verification-scratch-2020

Language: Shell - Size: 57.6 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/testpr

Size: 1.95 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

rvantonder/swoole-src Fork of swoole/swoole-src

Event-driven asynchronous & concurrent & coroutine networking engine with high performance for PHP.

Language: C - Size: 13.1 MB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

rvantonder/test-auto-pr

Language: Rust - Size: 12.7 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

rvantonder/test-auto-pr-2

Language: Rust - Size: 1.95 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

rvantonder/test-182

Language: Go - Size: 33.2 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 1

rvantonder/sourcegraph-test

Language: Go - Size: 137 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

rvantonder/sublime-nix Fork of wmertens/sublime-nix

Nix syntax highlighting for Sublime Text

Size: 41 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

rvantonder/spoon Fork of INRIA/spoon

Spoon is a metaprogramming library to analyze and transform Java source code (incl Java 9, 10, 11, 12, 13, 14). :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

Size: 30.1 MB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

rvantonder/smee Fork of probot/smee-client

🔴 Receives payloads then sends them to your local server

Language: JavaScript - Size: 526 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/slate Fork of slatedocs/slate

Beautiful static documentation for your API

Language: JavaScript - Size: 1.13 MB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

rvantonder/site-option-3

Language: HTML - Size: 1.34 MB - Last synced: about 1 month ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

rvantonder/rte Fork of dkodaj/rte

Rich text editor Elm package

Size: 896 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

rvantonder/silly-test-repo

Language: Go - Size: 27.3 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

rvantonder/rose6icse Fork of researchart/rose6icse

Size: 234 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/regex-meta-symbol Fork of rvantonderp/regex-meta-symbol

Size: 1.95 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/remix Fork of ethereum/remix

Ethereum IDE and tools for the web

Language: JavaScript - Size: 8.24 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rvantonder/redis Fork of redis/redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

Language: C - Size: 66.6 MB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

rvantonder/qemu Fork of BinaryAnalysisPlatform/qemu

Official QEMU mirror

Language: C - Size: 101 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rvantonder/quines

My Quine Collection

Language: C - Size: 207 KB - Last synced: about 1 month ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

rvantonder/reason

Language: OCaml - Size: 4.08 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 1

rvantonder/qira Fork of geohot/qira

QEMU Interactive Runtime Analyser

Language: C - Size: 62.4 MB - Last synced: about 1 month ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rvantonder/q

Language: OCaml - Size: 275 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/pyre-check Fork of facebook/pyre-check

Performant type-checking for python.

Language: OCaml - Size: 17.7 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/python-snippets

Language: Python - Size: 109 KB - Last synced: about 1 month ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

rvantonder/project-euler-newlisp

Project Euler solutions using newlisp

Language: Common Lisp - Size: 105 KB - Last synced: about 1 month ago - Pushed: almost 11 years ago - Stars: 3 - Forks: 0

rvantonder/newlisp

newlisp scripts

Language: Common Lisp - Size: 148 KB - Last synced: about 1 month ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

rvantonder/influxdb Fork of influxdata/influxdb

Scalable datastore for metrics, events, and real-time analytics

Language: Go - Size: 46.5 MB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rvantonder/pr-files-action

Language: JavaScript - Size: 41 KB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

rvantonder/ppx_deriving_yojson Fork of ocaml-ppx/ppx_deriving_yojson

A Yojson codec generator for OCaml >= 4.02.

Language: OCaml - Size: 185 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rvantonder/powerline Fork of powerline/powerline

Powerline is a statusline plugin for vim, and provides statuslines and prompts for several other applications, including zsh, bash, tmux, IPython, Awesome and Qtile.

Language: Python - Size: 3.87 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/pfff Fork of facebookarchive/pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

Language: OCaml - Size: 33.8 MB - Last synced: about 1 month ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

rvantonder/peda Fork of longld/peda

PEDA - Python Exploit Development Assistance for GDB

Language: Python - Size: 1.1 MB - Last synced: about 1 month ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

rvantonder/patience_diff Fork of janestreet/patience_diff

Tool and library implementing patience diff

Size: 148 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/patdiff Fork of janestreet/patdiff

File Diff using the Patience Diff algorithm

Language: OCaml - Size: 798 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/patch-to-pr-comment-action

Language: JavaScript - Size: 349 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

rvantonder/parser-fuzzer

Size: 0 Bytes - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

rvantonder/parallel-build

Language: OCaml - Size: 7.26 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/Packages Fork of slimsag/Packages

Size: 8.7 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/opium Fork of rgrinberg/opium

Sinatra like web toolkit for OCaml

Language: OCaml - Size: 450 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

rvantonder/opam-repository Fork of ocaml/opam-repository

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

Size: 94.4 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

rvantonder/okhttp Fork of square/okhttp

An HTTP+HTTP/2 client for Android and Java applications.

Language: Java - Size: 15.2 MB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rvantonder/ocaml-z3 Fork of arjunguha/ocaml-z3

Language: OCaml - Size: 74.2 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 0 - Forks: 1

rvantonder/ocaml-oniguruma Fork of alan-j-hu/ocaml-oniguruma

OCaml bindings to the Oniguruma regex library

Size: 64.5 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/ocaml-github Fork of mirage/ocaml-github

GitHub APIv3 OCaml bindings

Language: OCaml - Size: 1.38 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rvantonder/ocaml Fork of ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

Language: OCaml - Size: 188 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/NEAL Fork of uber/NEAL

Automate your code reviews with custom syntactic rules

Language: OCaml - Size: 1.74 MB - Last synced: about 1 month ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

rvantonder/binaryanalysisplatform.github.io Fork of BinaryAnalysisPlatform/binaryanalysisplatform.github.io

binaryanalysisplatform.github.io website

Language: HTML - Size: 560 KB - Last synced: about 1 month ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

rvantonder/move-sublime-highlighting

Highlighting for Diem Move language based off of Rust Enhanced highlighting.

Size: 13.7 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/move Fork of move-language/move

Size: 76 MB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

rvantonder/move-scip-test

Language: Move - Size: 70.3 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

rvantonder/morsey

Some morse code game I wrote in 2014, just dumping this archived code. Source-available, not open-source.

Language: Java - Size: 35.3 MB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

rvantonder/merlin Fork of ocaml/merlin

Context sensitive completion for OCaml in Vim and Emacs

Language: OCaml - Size: 32.9 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/moby Fork of moby/moby

Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

Language: Go - Size: 132 MB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

rvantonder/mercury Fork of WithSecureLabs/drozer

An Android Security Assessment Framework.

Language: Python - Size: 3.1 MB - Last synced: about 1 month ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

rvantonder/lwt Fork of ocsigen/lwt

OCaml promises and concurrent I/O

Language: OCaml - Size: 20.5 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/lsif.github.io Fork of lsif/lsif.github.io

https://lsif.dev

Size: 49.8 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

rvantonder/lsif-ocaml-action

Language: Dockerfile - Size: 2.93 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/lsif-dart Fork of sourcegraph/old-lsif-dart-research

Dart LSIF indexer

Language: Dart - Size: 4.88 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/learnxinyminutes-docs Fork of adambard/learnxinyminutes-docs

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

Size: 2.99 MB - Last synced: about 1 month ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

rvantonder/libssh2-f1cfa55

Language: C - Size: 79.1 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/kubernetes Fork of kubernetes/kubernetes

Production-Grade Container Scheduling and Management

Language: Go - Size: 573 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/lambda-gbc

Language: OCaml - Size: 250 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

rvantonder/jekyll Fork of jekyll/jekyll

Jekyll is a blog-aware, static site generator in Ruby

Language: Ruby - Size: 32 MB - Last synced: about 1 month ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

rvantonder/js_of_ocaml Fork of ocsigen/js_of_ocaml

Compiler from OCaml to Javascript.

Language: OCaml - Size: 54.4 MB - Last synced: about 1 month ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

rvantonder/JM2018TS Fork of JMoerman/JM2018TS

Language: C - Size: 1.54 MB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

rvantonder/ibm-mtm

Language: JavaScript - Size: 461 KB - Last synced: about 1 month ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

rvantonder/improve

Language: C - Size: 22.5 KB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

rvantonder/highlight.js Fork of highlightjs/highlight.js

Javascript syntax highlighter

Language: JavaScript - Size: 8.55 MB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

rvantonder/homebrew-core Fork of Homebrew/homebrew-core

🍻 Default formulae for the missing package manager for macOS

Language: Ruby - Size: 389 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

rvantonder/how-i-install-elm-from-scratch

Language: Elm - Size: 3.91 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

rvantonder/hhvm Fork of facebook/hhvm

A virtual machine for executing programs written in Hack.

Language: C++ - Size: 297 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/hack-parallel-example.deprecated

Language: OCaml - Size: 1000 Bytes - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

rvantonder/hack-parallel-example

An example project to demonstrate https://github.com/rvantonder/hack-parallel

Language: OCaml - Size: 11.7 KB - Last synced: about 1 month ago - Pushed: about 4 years ago - Stars: 13 - Forks: 1

rvantonder/gql-sublimetext-yolo

Size: 26.4 KB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

rvantonder/go-langserver-1 Fork of sourcegraph/go-langserver

Go language server to add Go support to editors and other tools that use the Language Server Protocol (LSP)

Language: Go - Size: 2.45 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/go Fork of golang/go

The Go programming language

Language: Go - Size: 163 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/go-ethereum Fork of ethereum/go-ethereum

Official Go implementation of the Ethereum protocol

Language: Go - Size: 80 MB - Last synced: about 1 month ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

rvantonder/github-scripts

Language: Python - Size: 7.81 KB - Last synced: about 1 month ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0

rvantonder/git-achievements Fork of lennart/git-achievements

Aquire achievements while using git.

Language: Shell - Size: 1020 KB - Last synced: about 1 month ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

rvantonder/gg

Language: HTML - Size: 349 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

rvantonder/genprog-code Fork of squaresLab/genprog-code

GenProg code, faithfully transferred from svn repository.

Size: 99.7 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

rvantonder/fsharp Fork of fsharp/fsharp

The F# compiler, core library and core tools (open source edition)

Language: F# - Size: 32.3 MB - Last synced: about 1 month ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

rvantonder/flow Fork of facebook/flow

Adds static typing to JavaScript to improve developer productivity and code quality.

Language: OCaml - Size: 40 MB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/flare-ida Fork of mandiant/flare-ida

IDA Pro utilities from FLARE team

Language: Python - Size: 28.9 MB - Last synced: about 1 month ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

rvantonder/flooder

basic udp flooder

Language: Shell - Size: 105 KB - Last synced: about 1 month ago - Pushed: over 11 years ago - Stars: 1 - Forks: 1

rvantonder/fgbc

Language: F# - Size: 547 KB - Last synced: about 1 month ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

rvantonder/experimental-merlin-extension

Language: TypeScript - Size: 75.2 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

rvantonder/data-dependency-plugin

Language: OCaml - Size: 945 KB - Last synced: about 1 month ago - Pushed: almost 9 years ago - Stars: 1 - Forks: 1

rvantonder/elm-rte-toolkit Fork of mweiss/elm-rte-toolkit

A toolkit for creating rich text editors in Elm

Size: 4.04 MB - Last synced: about 1 month ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0