Giters
Marek Kubica (Leonidas-from-XIV)

Leonidas-from-XIV

Geek Repo

249

followers

110

following

413

stars

Company:@tarides

Location:Copenhagen

Home Page:https://xivilization.net/

Github PK Tool:Github PK Tool

Organizations
curry-club-aux
defworkshop
fu-dietersheim
ocaml-community
stylefruits-alumni
tarides

Marek Kubica's starred repositories

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustLicense:Apache-2.0Stargazers:54596Issues:449Issues:5698

iina

The modern video player for macOS.

Language:SwiftLicense:GPL-3.0Stargazers:37117Issues:526Issues:3828

exa

A modern replacement for ‘ls’.

Language:RustLicense:MITStargazers:23410Issues:138Issues:881

xi-editor

A modern editor with a backend written in Rust.

Language:RustLicense:Apache-2.0Stargazers:19816Issues:401Issues:532

oni

Oni: Modern Modal Editing - powered by Neovim

Language:TypeScriptLicense:MITStargazers:11359Issues:214Issues:1343

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10835Issues:242Issues:161

nyxt

Nyxt - the hacker's browser.

Language:Common LispStargazers:9659Issues:116Issues:2223

Carp

A statically typed lisp, without a GC, for real-time applications.

Language:HaskellLicense:Apache-2.0Stargazers:5478Issues:110Issues:509

amp

A complete text editor for your terminal.

Language:RustLicense:NOASSERTIONStargazers:3648Issues:53Issues:210

nvim-completion-manager

:warning: PLEASE USE https://github.com/ncm2/ncm2 INSTEAD

Language:PythonLicense:MITStargazers:917Issues:33Issues:187

vim-easyclip

Simplified clipboard functionality for Vim

Language:Vim scriptStargazers:685Issues:12Issues:85

ocamlformat

Auto-formatter for OCaml code

Language:OCamlLicense:MITStargazers:608Issues:20Issues:838

nxengine-evo

nxengine refactoring

Language:CLicense:GPL-3.0Stargazers:474Issues:33Issues:210

vim-yankstack

A lightweight implementation of emacs's kill-ring for vim

Language:RubyStargazers:434Issues:6Issues:45

mrpt

Fast and lightweight header-only C++ library (with Python bindings) for approximate nearest neighbor search

Language:C++License:MITStargazers:255Issues:13Issues:14

camlpdf

OCaml library for reading, writing and modifying PDF files

Language:OCamlLicense:NOASSERTIONStargazers:198Issues:11Issues:60

tyre

Typed Regular Expressions

Language:OCamlLicense:ISCStargazers:167Issues:10Issues:7

cargo-thanks

💖 🦀 give thanks to your fellow Rustaceans

Language:RustLicense:MITStargazers:163Issues:4Issues:6

ocaml-github

GitHub APIv3 OCaml bindings

Language:OCamlLicense:ISCStargazers:100Issues:30Issues:76

picoloop

Language:CStargazers:96Issues:15Issues:21

raml

OCaml runtime and FFI bindings directly in Rust

Language:RustStargazers:78Issues:8Issues:0

ocaml-mariadb

OCaml bindings to MariaDB, supporting the nonblocking API

Language:OCamlStargazers:56Issues:6Issues:21

rpi-boot-ocaml

Raspberry Pi boot support for the OCaml system (unreleased)

Language:OCamlStargazers:53Issues:12Issues:11

flajolet

Probabilistic data structures for OCaml

Language:OCamlStargazers:39Issues:5Issues:2

opam-depext

Attempt to automate the installation of system packages required by OPAM packages

Language:OCamlLicense:NOASSERTIONStargazers:33Issues:12Issues:70

ocapic

OCaml for PIC microcontrollers

Language:OCamlLicense:NOASSERTIONStargazers:31Issues:2Issues:4

ecec

Web Push encryption and decryption in C.

Language:CLicense:MITStargazers:27Issues:6Issues:30

ocaml-msgpck

Fast msgpack library for OCaml

Language:OCamlLicense:ISCStargazers:25Issues:4Issues:8

pumping

Regular languages in types

Language:OCamlLicense:NOASSERTIONStargazers:21Issues:4Issues:1

ocaml-vw

OCaml bindings to vowpal wabbit

Language:OCamlLicense:BSD-3-ClauseStargazers:10Issues:3Issues:0