Giters
Pavel Argentov (argent-smith)

argent-smith

Geek Repo

117

followers

91

following

180

stars

Company:Evrone.com

Location:Tver, Russia

Home Page:http://argent-smith.github.com

Github PK Tool:Github PK Tool

Organizations
rubinius

Pavel Argentov's starred repositories

LaTeX-Workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

Language:TypeScriptLicense:MITStargazers:10611Issues:57Issues:3064

ocaml

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

Language:OCamlLicense:NOASSERTIONStargazers:5407Issues:204Issues:7480

eurorack

Eurorack modules

Language:C++Stargazers:2604Issues:275Issues:31

cinny

Yet another matrix client

Language:TypeScriptLicense:AGPL-3.0Stargazers:1896Issues:16Issues:719

irmin

Irmin is a distributed database that follows the same design principles as Git

Language:OCamlLicense:ISCStargazers:1839Issues:61Issues:604

dune

A composable build system for OCaml.

Language:OCamlLicense:MITStargazers:1612Issues:38Issues:2984

devise-jwt

JWT token authentication with devise and rails

Language:RubyLicense:MITStargazers:1250Issues:17Issues:218

Coq-HoTT

A Coq library for Homotopy Type Theory

Language:CoqLicense:NOASSERTIONStargazers:1246Issues:61Issues:588

database_consistency

The tool to avoid various issues due to inconsistencies and inefficiencies between a database schema and application models.

Language:RubyLicense:MITStargazers:1043Issues:9Issues:89

vscode-ltex

LTeX: Grammar/spell checker :mag::heavy_check_mark: for VS Code using LanguageTool with support for LaTeX :mortar_board:, Markdown :pencil:, and others

Language:TypeScriptLicense:MPL-2.0Stargazers:797Issues:7Issues:246

ocaml-lsp

OCaml Language Server Protocol implementation

Language:OCamlLicense:NOASSERTIONStargazers:754Issues:21Issues:397

textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Language:OCamlLicense:NOASSERTIONStargazers:721Issues:14Issues:76

email_validator

An email validator for Rails.

Language:RubyLicense:MITStargazers:644Issues:13Issues:40

opam-repository

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

License:CC0-1.0Stargazers:516Issues:33Issues:1334

cmdliner

Declarative definition of command line interfaces for OCaml

Language:OCamlLicense:ISCStargazers:293Issues:13Issues:144

platform

Multi platform setup for Coq, Coq libraries and tools

Language:ShellLicense:CC0-1.0Stargazers:189Issues:8Issues:199

disting

firmware for the disting Eurorack module

Language:CLicense:MITStargazers:125Issues:22Issues:3

ocaml-solo5

Freestanding OCaml runtime

Language:CLicense:NOASSERTIONStargazers:101Issues:25Issues:25

eurorack

Firmware customization for Mutable Instruments' Eurorack Modules.

Language:C++Stargazers:99Issues:18Issues:51

fmt

OCaml Format pretty-printer combinators

Language:OCamlLicense:ISCStargazers:71Issues:11Issues:39

csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

Language:HTMLStargazers:55Issues:9Issues:1

current-bench

Experimental benchmarking infrastructure using OCurrent pipelines

Language:ReScriptLicense:Apache-2.0Stargazers:33Issues:11Issues:169

rescript-request

ReScript wrapper for XMLHttpRequest

Language:ReScriptStargazers:27Issues:6Issues:2

rpi64-kernel

Build a Linux kernel for Raspberry Pi 3 in 64bit

Language:ShellLicense:MITStargazers:25Issues:8Issues:0

kubecaml

Kubernetes API client for OCaml

Language:MakefileStargazers:21Issues:5Issues:5

FPauth

Authentication framework for OCaml Dream web-framework

Language:OCamlLicense:MITStargazers:16Issues:1Issues:4

mimemagic

Mime type detection in ruby via file extension or file content

Language:RubyLicense:MITStargazers:10Issues:4Issues:5

esy-mirage-skeleton

Examples of simple MirageOS apps

Language:OCamlLicense:UnlicenseStargazers:7Issues:3Issues:0

mirage-timestamp-reporter

A log reporter which prefixes each message with a timestamp

Language:OCamlLicense:NOASSERTIONStargazers:5Issues:3Issues:0

README

License:MITStargazers:3Issues:0Issues:3