pnevyk

pnevyk's Stars

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust36.7k1042.8k992

• vlang/v

  Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

  Language:V36k4759k2.2k

• doczjs/docz

  ✍ It has never been so easy to document your things!

  Language:TypeScript23.7k1701.2k1.5k

• s-matyukevich/raspberry-pi-os

  Learning operating system development using Linux kernel and Raspberry Pi

  Language:C13.3k5031241.3k

• jxnblk/mdx-deck

  ♠️ React MDX-based presentation decks

  Language:JavaScript11.4k83325604

• onivim/oni2

  Native, lightweight modal code editor

  Language:Reason7.8k831.6k283

• ponylang/ponyc

  Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  Language:C5.8k1411.9k418

• ballercat/walt

  :zap: Walt is a JavaScript-like syntax for WebAssembly text format :zap:

  Language:JavaScript4.6k11492122

• dubzzz/fast-check

  Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

  Language:TypeScript4.4k19560186

• upend/IF_MS_BUYS_GITHUB_IMMA_OUT

  GitHub has sold us out. Time to get out.

  3.6k13910754

• servo/webrender

  A GPU-based renderer for the web

  Language:Rust3.2k741.1k280

• maciejhirsz/logos

  Create ridiculously fast Lexers

  Language:Rust3k20271131

• bytecodealliance/cranelift

  Cranelift code generator

  2.5k93379201

• sarah-ek/faer-rs

  Linear algebra foundation for the Rust programming language

  Language:Rust1.8k177461

• jsverify/jsverify

  Write powerful and concise tests. Property-based testing for JavaScript. Like QuickCheck.

  Language:JavaScript1.7k27153103

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.5k521880

• nvzqz/divan

  Fast and simple benchmarking for Rust projects

  Language:Rust1k84128

• sit-fyi/sit

  Serverless (offline-first, merge-friendly) Information Tracker

  Language:Rust55926034

• lys-lang/lys

  ⚜︎ A language that compiles to WebAssembly

  Language:TypeScript4191288

• tarcieri/micromath

  Embedded Rust arithmetic, 2D/3D vector, and statistics library

  Language:Rust404131621

• JumpFm/jumpfm

  A file manager that lets you jump.

  Language:TypeScript273123532

• sarah-ek/pulp

  Language:Rust185828

• nrc/stupid-stats

  Tutorial and demo of rust compiler replacement tooling

  Language:Rust563510

• commure/datatest

  Datatest -- data-driven test framework for Rust

  Language:Rust53351215

• pengowen123/cmaes

  A Rust implementation of the CMA-ES optimization algorithm.

  Language:Rust33368

• segevfiner/keepawake-rs

  Keep your computer awake

  Language:Rust262816

• grantshandy/grapher

  A simple graphing calculator

  Language:Rust18101

• KmolYuan/metaheuristics-nature-rs

  A collection of nature-inspired metaheuristic algorithms.

  Language:Rust14461

• smol-rs/fastrand-contrib

  Extension functionality for the fastrand crate

  Language:Rust6413

• jzbor/foliot

  A simple time tracking tool to keep track of your working or studying time.

  Language:Rust2211