Vasilis Papavasileiou (vasilisp)

vasilisp

Geek Repo

Company:@ahrefs

Location:Athens, Greece

Github PK Tool:Github PK Tool

Vasilis Papavasileiou's starred repositories

brr

Browser programming toolkit for OCaml

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

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptLicense:NOASSERTIONStargazers:47893Issues:0Issues:0
Language:OCamlStargazers:32Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10018Issues:0Issues:0

witan

An ocaml implementation of conflict-driven reasoning

Language:OCamlLicense:LGPL-2.1Stargazers:15Issues:0Issues:0

ocaml-ahrocksdb

OCaml bindings for RocksDB

Language:OCamlLicense:MITStargazers:21Issues:0Issues:0

alt-ergo

OCamlPro public development repository for Alt-Ergo

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

ocamlunix

Unix system programming in OCaml book

Language:TeXLicense:NOASSERTIONStargazers:282Issues:0Issues:0

owl

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Language:OCamlLicense:MITStargazers:1203Issues:0Issues:0

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

Stargazers:936Issues:0Issues:0

core

Jane Street Capital's standard library overlay

Language:OCamlLicense:MITStargazers:1102Issues:0Issues:0

cpc

Continuation Passing C

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

bubblewrap

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

Language:CLicense:NOASSERTIONStargazers:3786Issues:0Issues:0

dhall-haskell

Maintainable configuration files

Language:DhallLicense:BSD-3-ClauseStargazers:910Issues:0Issues:0

offheap

Copies OCaml objects out of the garbage collected heap

Language:CLicense:MITStargazers:14Issues:0Issues:0

bakechain

Download and Documentation for Bakechain

Language:JavaScriptLicense:MITStargazers:53Issues:0Issues:0

snarky

OCaml DSL for verifiable computation

Language:OCamlLicense:MITStargazers:491Issues:0Issues:0

litetree

SQLite with Branches

Language:CLicense:MITStargazers:1616Issues:0Issues:0

httpaf

A high performance, memory efficient, and scalable web server written in OCaml

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

liquidity

A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson

Language:OCamlLicense:GPL-3.0Stargazers:158Issues:0Issues:0

ppx_regexp

Matching Regular Expressions with OCaml Patterns

Language:OCamlLicense:LGPL-3.0Stargazers:57Issues:0Issues:0

ocaml-sqlexpr

Minimalistic syntax extension for type-safe, convenient execution of SQL statements.

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

genspio

Generate Shell Phrases In OCaml

Language:OCamlLicense:Apache-2.0Stargazers:48Issues:0Issues:0

book

V2 of Real World OCaml

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

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Language:TypeScriptLicense:Apache-2.0Stargazers:99455Issues:0Issues:0

note

Declarative events and signals for OCaml

Language:OCamlLicense:ISCStargazers:45Issues:0Issues:0

bytepdf

A tool to create PDFs that are also OCaml bytecodes

Language:OCamlStargazers:41Issues:0Issues:0

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

Language:OCamlLicense:ISCStargazers:84Issues:0Issues:0

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

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

atd

Static types for JSON APIs

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