Beast code in Giters

Andrey Popp's starred repositories

helix

A post-modern modal text editor.

Language:RustMPL-2.033126 185 4491

jotai

👻 Primitive and flexible state management for React

Language:TypeScriptMIT18423 67 641

tree-sitter

An incremental parsing system for programming tools

Language:RustMIT18229 191 1406

oauth2-proxy

A reverse proxy that provides authentication with Google, Azure, OpenID Connect and many more identity providers.

Language:GoMIT9544 86 1626

embassy

Modern embedded framework, using Rust and async.

Language:RustApache-2.05315 42 796

octosql

OctoSQL is a query tool that allows you to join, analyse and transform data from multiple databases and file formats using SQL.

Language:GoMPL-2.04782 57 134

A cloud native Identity & Access Proxy / API (IAP) and Access Control Decision API that authenticates, authorizes, and mutates incoming HTTP(s) requests. Inspired by the BeyondCorp / Zero Trust white paper. Written in Go.

Language:GoApache-2.03237 47 342

tilck

A Tiny Linux-Compatible Kernel

Language:CBSD-2-Clause2356 41 43

dream

Tidy, feature-complete Web framework

Language:OCamlMIT1596 28 218

diamond-types

The world's fastest CRDT. WIP.

Language:Rust1588 44 13

libfive

Infrastructure for solid modeling

Language:C++1434 53 324

melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason

Language:OCamlNOASSERTION822 31 240

docker-to-linux

Make bootable Linux disk image (ab)using Docker

Language:Makefile662 20 21

switch.vim

A simple Vim plugin to switch segments of text with predefined replacements

Language:RubyMIT645 12 55

rust-esp32-example

Example of Rust integration into an ESP-IDF project, for ESP32 series of chips

Language:RustMIT436 18 31

Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

Language:JuliaMIT358 12 122

miniF2F

Formal to Formal Mathematics Benchmark

Language:Objective-C++299 116 41

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

Language:OCamlISC283 16 8

WebIO.jl

A bridge between Julia and the Web.

Language:JuliaNOASSERTION228 18 294

bibliothecula

document organizer with tags and full-text-search, in a simple and clean sqlite3 schema

Language:PythonGPL-3.0163 6 2

FunSQL.jl

Julia library for compositional construction of SQL queries

Language:JuliaNOASSERTION150 7 36

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Language:OCamlBSD-2-Clause137 11 63

pure

A pure type system implemented in OCaml

Language:OCaml78 1 3

ocaml-yaml

OCaml interface to the YAML 1.1 spec

Language:OCamlISC74 7 28

pyre-ast

pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of tagless-final style.

Language:OCamlMIT37 3 5

episql

SQL schema parser and code generator

Language:OCamlLGPL-3.028 5 6

um-abt

An OCaml library implementing unifiable abstract binding trees (UABTs)

Language:OCamlMIT28 2 1

import-tree-sitter

Helps import tree-sitter grammars

Language:TypeScriptMIT23 3 1

julia

Julia parser for Lezer

Language:JavaScriptMIT13 6 16

coc

Calculus of Constructions Implementation

Language:OCaml12 30

andreypopp