andreypopp

followers

following

stars

@mechanize-systems

Tbilisi, Georgia

http://andreypopp.com

Organizations

arrowresearch

esy

ocaml

prometheusresearch

Andrey Popp's starred repositories

diffview.nvim

Single tabpage interface for easily cycling through diffs for all modified files for any git rev.

Language:LuaNOASSERTION3919 15 413

codesearch

Fast, indexed regexp search over large file trees

Language:GoBSD-3-Clause3628 123 67

isolated-vm

Secure & isolated JS environments for nodejs

Language:C++ISC2124 29 426

vim-mucomplete

Chained completion that works the way you want!

Language:Vim ScriptMIT912 19 192

BQN

An APL-like programming language

Language:BQNISC881 32 35

kerf1

Kerf (Kerf1) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C and natively speaks JSON and SQL. Kerf can be used for trading platforms, feedhandlers, low-latency networking, high-volume analysis of realtime and historical data, logfile processing, and more.

Language:C539 38 18

nvim-fzf

A Lua API for using fzf in neovim.

Language:LuaAGPL-3.0334 3 32

CBQN

a BQN implementation in C

Language:CGPL-3.0318 17 28

neatvi

A small vi/ex editor for editing UTF-8 text

Language:C311 10 63

codemirror-vim

Vim keybindings for CM6

Language:JavaScriptMIT289 38 105

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

Language:HTMLMIT230 10 76

bramble

Purely functional build system and package manager

Language:GoMIT184 7 22

libgavran

Experimenting with persistence in C

Language:C155 8 3

hotcaml

Hotcaml: an interpreter with watching and reloading

Language:OCamlAGPL-3.0143 50

lambda-n-ways

Benchmarks for capture-avoiding substitution

Language:HTMLMIT107 5 2

labrys

A toy language based on LLVM that implements the System Fω type-system

Language:OCamlMIT104 10 1

xs

concatenative array language inspired by kdb/+q

Language:OCaml89 6 3

printbox

print nested boxes, lists, arrays, tables in several formats

Language:OCamlBSD-2-Clause77 7 20

ppx_cstubs

preprocessor for easier stub generation with ocaml-ctypes

Language:OCamlNOASSERTION56 6 9

bqn-libs

Informal collection of BQN utilities

Language:BQN0BSD50 9 3

dromedary

Dromedary is an experimental subset of OCaml, using constraint-based type inference!

Language:OCamlMIT45 3 17

cxbqn

BQN virtual machine

Language:C++GPL-3.030 5 12

AbSolute

Constraint solver based on abstract domains

Language:OCamlLGPL-3.029 6 11

lev

Low Level Bindings to Libev

Language:OCaml29 3 2

ocaml-simdjson

Parsing gigabytes of JSON per second

Language:OCamlISC28 20

current_incr

Self-adjusting computations

Language:OCamlApache-2.023 7 3

oauth2_server

a MirageOS OAuth2 authorization server for Etsy authentication

Language:OCamlAGPL-3.019 40

asap

An opinionated application server for React Single Page Applications

Language:TypeScriptMIT17 20

dsubml

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.

Language:OCaml9 20

ga_bqn

Geometric Algebra for BQN

MPL-2.0400