Yvan Sraka (yvan-sraka)

yvan-sraka

Geek Repo

Company:@input-output-hk

Location:Brussels, Belgium

Home Page:https://yvan.sraka.xyz

Twitter:@yvansraka

Github PK Tool:Github PK Tool

Yvan Sraka's starred repositories

py-spy

Sampling profiler for Python programs

Language:RustLicense:MITStargazers:11984Issues:110Issues:345

tigerbeetle

The distributed financial transactions database designed for mission critical safety and performance.

Language:ZigLicense:Apache-2.0Stargazers:7357Issues:65Issues:497

mach

zig game engine & graphics toolkit

Language:ZigLicense:NOASSERTIONStargazers:2892Issues:53Issues:607

promise

Bare bones Promises/A+ implementation

Language:JavaScriptLicense:MITStargazers:2562Issues:67Issues:98

simde

Implementations of SIMD instruction sets for systems which don't natively support them.

balanced-employee-ip-agreement

GitHub's employee intellectual property agreement, open sourced and reusable

1x.engineer

The official website of 1x Engineers around the world

vello

An experimental GPU compute-centric 2D renderer.

Language:RustLicense:Apache-2.0Stargazers:2031Issues:62Issues:134

gitu

A TUI Git client inspired by Magit

Language:RustLicense:MITStargazers:1593Issues:5Issues:72

minilisp

A readable lisp in less than 1k lines of C

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1037Issues:20Issues:333

DontFuckWithPaste

Google Chrome and Firefox extension that prevents the blocking of pasting into input fields

Language:JavaScriptLicense:MITStargazers:1023Issues:9Issues:27

masto.js

🐘 Universal Mastodon API client for JavaScript

Language:TypeScriptLicense:MITStargazers:707Issues:6Issues:150

jco

JavaScript tooling for working with WebAssembly Components

Language:RustLicense:Apache-2.0Stargazers:541Issues:15Issues:157

libfringe

a Rust library implementing safe, lightweight context switches, without relying on kernel services

Language:RustLicense:Apache-2.0Stargazers:508Issues:24Issues:31

sold

The sold linker

Language:C++License:MITStargazers:465Issues:15Issues:47

dada

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Language:JavaScriptLicense:Apache-2.0Stargazers:436Issues:12Issues:91

nixbsd

An unofficial NixOS fork with a FreeBSD kernel

Language:NixLicense:MITStargazers:351Issues:17Issues:24

staticx

Create static executable from dynamic executable

Language:CLicense:NOASSERTIONStargazers:304Issues:5Issues:150

kamilalisp

A functional, flexible and concise Lisp.

Language:JavaLicense:GPL-3.0Stargazers:264Issues:10Issues:5

liballocs

Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s

Language:CLicense:NOASSERTIONStargazers:208Issues:16Issues:65

usv

Unicode Separated Values (USV) data markup for units, records, groups, files, streaming, and more.

basilisp

A Clojure-compatible(-ish) Lisp dialect targeting Python 3.8+

Language:PythonLicense:EPL-1.0Stargazers:186Issues:4Issues:421

nocargo

[alpha] Build Rust crates with Nix Build System.

Language:NixLicense:MITStargazers:123Issues:7Issues:15

wmaker

Mirror of the official repository repo.or.cz/wmaker-crm.git. Do not send pull requests here, send your patches to wmaker-dev@googlegroups.com instead

Language:CLicense:GPL-2.0Stargazers:122Issues:13Issues:39

build-your-own-git

Definition for the git challenge.

Language:DockerfileLicense:MITStargazers:53Issues:2Issues:3
Language:ForthLicense:0BSDStargazers:51Issues:0Issues:0

le_chiff_ble

A drop-in replacement-PCB for the beautiful le_chiffre

fbpad-eink

A framebuffer-based terminal emulator targetting eink devices (Kobo)

Language:CLicense:AGPL-3.0Stargazers:21Issues:7Issues:3

grizzly

🐻 Grizzly - Self-Extractable (SFX) archives creator. Written purely on Rust.

Language:RustLicense:CC-BY-SA-4.0Stargazers:17Issues:1Issues:0