peterrudenko

peterrudenko's Stars

• gritzko/librdx

  Replicated Data eXchange format C lib

  Language:C38

• adam-mcdaniel/wisp

  A lisp👽 written in C++

  Language:C++20120

• bol-van/zapret-win-bundle

  zapret and blockcheck binary bundle for windows

  Language:Shell36061

• OpenXcom/OpenXcom

  Open-source clone of the original X-Com 👽

  Language:C++1.9k489

• bol-van/zapret

  DPI bypass multi platform

  Language:C8.5k639

• karpathy/LLM101n

  LLM101n: Let's build a Storyteller

  30.3k1.7k

• jsiek/deduce

  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

  Language:Python593

• The-Order-of-the-Simulation/SpaceTimePathTracer

  Render stuff in curved space

  Language:C#191

• andreasfertig/cppinsights

  C++ Insights - See your source code with the eyes of a compiler

  Language:C++4.1k244

• jedisct1/libsodium

  A modern, portable, easy to use crypto library.

  Language:C12.3k1.7k

• iFoundSilentHouse/helio-sequencer-void-linux

  Helio Workstation template and builds for void linux

  41

• neohaskell/NeoHaskell

  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

  Language:Haskell2993

• raysan5/raylib

  A simple and easy-to-use library to enjoy videogames programming

  Language:C22.9k2.3k

• yt-dlp/yt-dlp

  A feature-rich command-line audio/video downloader

  Language:Python91k7.1k

• jscheiny/Streams

  Lazy evaluation in C++ - http://jscheiny.github.io/Streams/

  Language:C++69056

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k200

• informalsystems/quint

  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

  Language:TypeScript82935

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++799103

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda35070

• kizniche/Mycodo

  An environmental monitoring and regulation system

  Language:Python3k500

• williamdemeo/TypeFunc

  Resources for type theory, functional programming, etc.

  30917

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11k595

• TinyTapeout/siliwiz

  Silicon Layout Wizard

  Language:JavaScript16216

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k229

• riffusion/riffusion-app-hobby

  Stable diffusion for real-time music generation (web app)

  Language:TypeScript2.6k191

• aappleby/metron

  A C++ to Verilog translation tool with some basic guarantees that your code will work.

  Language:C++16314

• MiniZinc/libminizinc

  The MiniZinc compiler

  Language:C++52081

• filsv/iOSDeviceSupport

  Xcode iPhoneOS (iOS) DeviceSupport files (6.0 - 17.0)

  6.7k890

• hukenovs/dsp-theory

  Theory of digital signal processing (DSP): signals, filtration (IIR, FIR, CIC, MAF), transforms (FFT, DFT, Hilbert, Z-transform) etc.

  Language:Jupyter Notebook993179

• emweb/wt

  Wt, C++ Web Toolkit

  Language:C1.7k365