Giters
Eugene Tulushev (tulushev)

tulushev

Geek Repo

16

followers

10

following

209

stars

Company:@hypertrack

Location:Ukraine

Home Page:http://tulushev.com

Github PK Tool:Github PK Tool

Organizations
hypertrack

Eugene Tulushev's starred repositories

helix-gpui

helix gpui frontend

Language:RustLicense:MPL-2.0Stargazers:429Issues:0Issues:0

monolith

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

Language:RustLicense:CC0-1.0Stargazers:10542Issues:0Issues:0

TypeFunc

Resources for type theory, functional programming, etc.

Stargazers:308Issues:0Issues:0

CHON

Coupled Harmonic Oscillator Network

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

eyra

Rust programs written entirely in Rust

Language:RustLicense:NOASSERTIONStargazers:741Issues:0Issues:0

flux

Refinement Types for Rust

Language:RustLicense:MITStargazers:575Issues:0Issues:0

swift-foundation

The Foundation project

Language:SwiftLicense:Apache-2.0Stargazers:2292Issues:0Issues:0

Atto-8

A minimalist 8-bit microcomputer with stack-based microprocessor

Language:AssemblyLicense:MITStargazers:76Issues:0Issues:0

course-plan

📜 Haskell course info, plan, video lectures, slides

Language:HaskellLicense:MPL-2.0Stargazers:1228Issues:0Issues:0

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:31666Issues:0Issues:0

incon

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

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:11Issues:0Issues:0

lens-rs

lens implemented in rust

Language:RustLicense:Apache-2.0Stargazers:107Issues:0Issues:0

higher

Your favourite Haskell type classes for Rust

Language:RustLicense:MPL-2.0Stargazers:217Issues:0Issues:0

mathematics-roadmap

A Comprehensive Roadmap to Mathematics

Stargazers:1993Issues:0Issues:0

roc

A fast, friendly, functional language.

Language:RustLicense:UPL-1.0Stargazers:3896Issues:0Issues:0

crdt-website

Source of the crdt.tech website

Language:CSSLicense:Apache-2.0Stargazers:398Issues:0Issues:0

swift-collections-benchmark

A benchmarking tool for Swift Collection algorithms

Language:SwiftLicense:Apache-2.0Stargazers:331Issues:0Issues:0

nix-env.fish

Nix environment setup for the fish shell

Language:ShellLicense:UnlicenseStargazers:267Issues:0Issues:0

hexerator

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

Language:RustLicense:Apache-2.0Stargazers:295Issues:0Issues:0

wasm3

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

Language:CLicense:MITStargazers:7106Issues:0Issues:0

awesome-cosmopolitan

List of Cosmopolitan Libc related resources and projects

Stargazers:284Issues:0Issues:0

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:1011Issues:0Issues:0

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:2408Issues:0Issues:0

a-mir-formality

a model of MIR and the Rust type/trait system

Language:RustLicense:Apache-2.0Stargazers:276Issues:0Issues:0

SwiftGraph

A Graph Data Structure in Pure Swift

Language:SwiftLicense:Apache-2.0Stargazers:746Issues:0Issues:0

criterion.rs

Statistics-driven benchmarking library for Rust

Language:RustLicense:Apache-2.0Stargazers:4300Issues:0Issues:0

proptest

Hypothesis-like property testing for Rust

Language:RustLicense:Apache-2.0Stargazers:1636Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2464Issues:0Issues:0

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:20039Issues:0Issues:0

savage

A primitive computer algebra system

Language:RustLicense:AGPL-3.0Stargazers:569Issues:0Issues:0