pmkenned

pmkenned's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1.5k

• junegunn/vim-plug

  :hibiscus: Minimalist Vim Plugin Manager

  Language:Vim Script33.9k1.9k

• oz123/awesome-c

  A curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there.

  9.1k806

• skeeto/scratch

  Personal scratch code

  Language:C37018

• simdjson/simdjson

  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks

  Language:C++19.1k1k

• sparsehash/sparsehash

  C++ associative containers

  Language:C++1.5k257

• Pyromuffin/superscope

  2

• cnlohr/mini-rv32ima

  A tiny C header-only risc-v emulator.

  Language:C1.6k131

• Jai-Community/Jai-Community-Library

  Tutorials and Cheatsheet for Jai, written by its community

  329

• SasLuca/libco

  Single header C99 coroutines library. Forked from libco and flb_libco.

  Language:C713

• antirez/sds

  Simple Dynamic Strings library for C

  Language:C4.9k472

• DoctorWkt/acwj

  A Compiler Writing Journey

  Language:C10.4k1k

• tensorflow/playground

  Play with neural networks!

  Language:TypeScript11.9k2.5k

• hamsternz/Rudi-RV32I

  A rudimental RISCV CPU supporting RV32I instructions, in VHDL

  Language:VHDL11316

• RobertElderSoftware/recc

  A collection of compiler, emulator and microkernel tools.

  Language:C24414

• microsoft/MS-DOS

  The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

  Language:Assembly30.6k4.4k

• fb87/linux-0.0.1

  linux kernel 0.0.1

  Language:C1

• jflaherty/ptrtut13

  A TUTORIAL ON POINTERS AND ARRAYS IN C

  Language:HTML71459

• joshpeterson/cpp-template

  A template C++ repository, using CMake and Catch

  Language:Python5113

• ziglang/zig.vim

  Vim configuration for Zig

  Language:Vim Script44756

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig33.6k2.5k

• dabeaz/ply

  Python Lex-Yacc

  Language:Python2.8k463

• remko/kburns

  Generate slideshow movie with Ken Burns effect

  Language:Ruby8024

• phoboslab/q1k3

  A tiny FPS for js13k

  Language:JavaScript1.9k129

• mayfrost/guides

  Looking for a guide? You came to the right place. Here you can find documentation for a variety of topics I research to make complex computing easier. For comments go to the IRC channel #nfo at the Rizon network.

  1.9k103

• CppCon/CppCon2016

  Slides and other materials from CppCon 2016

  Language:C++1.8k247

• LukeSmithxyz/emailwiz

  Script that installs/configures a Dovecot, Postfix, Spam Assassin, OpenDKIM Debian web server

  Language:Shell1.7k277

• LukeSmithxyz/lb

  Blog & RSS system in less than 100 lines of shell script

  Language:Shell27880

• LukeSmithxyz/LARBS

  Luke's Auto-Rice Bootstrapping Scripts: Installation Scripts for My Arch Linux Meta-Distribution

  Language:Shell2k802

• erusev/parsedown

  Better Markdown Parser in PHP

  Language:PHP14.7k1.1k