Eugene Tulushev (tulushev)

tulushev

Geek Repo

Company:@hypertrack

Location:Ukraine

Home Page:http://tulushev.com

Github PK Tool:Github PK Tool


Organizations
hypertrack

Eugene Tulushev's starred repositories

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:33044Issues:185Issues:4486

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:20572Issues:59Issues:592

monolith

⬛️ CLI tool for saving complete web pages as a single HTML file

Language:RustLicense:CC0-1.0Stargazers:10942Issues:61Issues:155

wasm3

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

criterion.rs

Statistics-driven benchmarking library for Rust

Language:RustLicense:Apache-2.0Stargazers:4506Issues:29Issues:501

roc

A fast, friendly, functional language.

Language:RustLicense:UPL-1.0Stargazers:4160Issues:111Issues:2593

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2499Issues:64Issues:1192

LocationSimulator

MacOS application to spoof / fake / mock your iOS / iPadOS or iPhoneSimulator device location. WatchOS and TvOS are partially supported.

Language:SwiftLicense:GPL-3.0Stargazers:2471Issues:34Issues:171

swift-foundation

The Foundation project

Language:SwiftLicense:Apache-2.0Stargazers:2362Issues:138Issues:137

mathematics-roadmap

A Comprehensive Roadmap to Mathematics

proptest

Hypothesis-like property testing for Rust

Language:RustLicense:Apache-2.0Stargazers:1682Issues:20Issues:261

course-plan

📜 Haskell course info, plan, video lectures, slides

Language:HaskellLicense:MPL-2.0Stargazers:1259Issues:23Issues:6

inlyne

Introducing Inlyne, a GPU powered yet browserless tool to help you quickly view markdown files in the blink of an eye.

Language:RustLicense:MITStargazers:1058Issues:5Issues:130

SwiftGraph

A Graph Data Structure in Pure Swift

Language:SwiftLicense:Apache-2.0Stargazers:754Issues:21Issues:35

eyra

Rust programs written entirely in Rust

Language:RustLicense:NOASSERTIONStargazers:753Issues:15Issues:11

flux

Refinement Types for Rust

Language:RustLicense:MITStargazers:642Issues:11Issues:147

savage

A primitive computer algebra system

Language:RustLicense:AGPL-3.0Stargazers:569Issues:6Issues:14

helix-gpui

helix gpui frontend

Language:RustLicense:MPL-2.0Stargazers:456Issues:5Issues:8

crdt-website

Source of the crdt.tech website

Language:CSSLicense:Apache-2.0Stargazers:407Issues:27Issues:12

swift-collections-benchmark

A benchmarking tool for Swift Collection algorithms

Language:SwiftLicense:Apache-2.0Stargazers:338Issues:118Issues:8

TypeFunc

Resources for type theory, functional programming, etc.

hexerator

Versatile GUI hex editor focused on binary file exploration and aiding pattern recognition

Language:RustLicense:Apache-2.0Stargazers:299Issues:4Issues:39

awesome-cosmopolitan

List of Cosmopolitan Libc related resources and projects

a-mir-formality

a model of MIR and the Rust type/trait system

Language:RustLicense:Apache-2.0Stargazers:282Issues:28Issues:65

nix-env.fish

Nix environment setup for the fish shell

Language:ShellLicense:UnlicenseStargazers:273Issues:8Issues:8

higher

Your favourite Haskell type classes for Rust

Language:RustLicense:MPL-2.0Stargazers:217Issues:13Issues:2

lens-rs

lens implemented in rust

Language:RustLicense:Apache-2.0Stargazers:109Issues:5Issues:10

Atto-8

A minimalist 8-bit microcomputer with stack-based microprocessor

Language:AssemblyLicense:MITStargazers:77Issues:2Issues:0

CHON

Coupled Harmonic Oscillator Network

Language:C++Stargazers:19Issues:0Issues:0

incon

incon - An R package for modelling the simultaneous consonance of musical chords

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:12Issues:3Issues:3