peirick

peirick's Stars

• vtereshkov/xdpw

  XD Pascal: A small embeddable self-hosting Pascal compiler for Windows. Supports Go-style methods and interfaces

  Language:Pascal27832

• antirez/kilo

  A text editor in less than 1000 LOC with syntax highlight and search.

  Language:C7.4k813

• kai-kj/TerminalMediaViewer

  An utf-8/truecolor image and video viewer for the terminal

  Language:C1095

• andsmedeiros/uevloop

  A fast and lightweight event loop for embedded platforms.

  Language:C9721

• Samsung/libtuv

  Asynchronous I/O for IoT.js and embedded system

  Language:C12876

• microsoft/vcc

  A static verifier for concurrent C programs

  Language:C#12834

• fraunhoferfokus/acsl-by-example

  Public snapshots of "ACSL by Example"

  Language:TeX10120

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.4k1.5k

• zetzit/zz

  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

  Language:Rust1.6k52

• lvgl/lvgl

  Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.

  Language:C16.7k3.3k

• offbynull/portmapper

  Java library that maps ports on NAT-enabled routers (supported protocols: UPnP-IGD/NAT-PMP/PCP).

  Language:Java8915

• sbstp/rust-igd

  Internet Gateway Device (UPNP) client

  Language:Rust10445

• jedisct1/libsodium

  A modern, portable, easy to use crypto library.

  Language:C12.3k1.7k

• libuv/libuv

  Cross-platform asynchronous I/O

  Language:C24.3k3.6k

• miniupnp/miniupnp

  UPnP IGD implementation

  Language:C1.5k454

• ipfs/ipfs

  Peer-to-peer hypermedia protocol

  22.7k1.5k

• TokTok/c-toxcore

  The future of online communications.

  Language:C2.3k287

• AssemblyScript/assemblyscript

  A TypeScript-like language for WebAssembly.

  Language:WebAssembly16.9k663

• gregfjohnson/fft

  An easy-to-use, simple command-line tool for calculating the Finite Fourier Transform

  Language:C255

• Serg-Norseman/GEDKeeper

  GEDKeeper - program for work with personal genealogical database

  Language:C#15944

• Zukero/andors-trail

  Andor's Trail

  Language:Java13568

• erichlof/THREE.js-PathTracing-Renderer

  Real-time PathTracing with global illumination and progressive rendering, all on top of the Three.js WebGL framework. Click here for Live Demo: https://erichlof.github.io/THREE.js-PathTracing-Renderer/Geometry_Showcase.html

  Language:GLSL1.9k177

• Chalarangelo/30-seconds-of-code

  Short code snippets for all your development needs

  Language:JavaScript122k12k

• ggambetta/computer-graphics-from-scratch

  Text, diagrams, and source code for the book Computer Graphics from scratch.

  1.2k117

• nothings/stb

  stb single-file public domain libraries for C/C++

  Language:C26.9k7.7k

• empira/PDFsharp-1.5

  A .NET library for processing PDF

  Language:C#1.3k587

• galkahana/PDF-Writer

  High performance library for creating, modiyfing and parsing PDF files in C++

  Language:C901217

• karpathy/scriptsbots

  ScriptBots is an Open Source Evolutionary Artificial Life Simulation of Predator-Prey dynamics, written by Andrej Karpathy.

  Language:C++12744

• microsoft/Windows-universal-samples

  API samples for the Universal Windows Platform.

  Language:JavaScript9.5k8k

• microsoft/Windows-classic-samples

  This repo contains samples that demonstrate the API used in Windows classic desktop applications.

  5.1k3.2k