kry127's Stars
jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
jmid/qc-ptrees
A model-based QuickCheck test of ptrees (Patricia trees)
aPureBase/arkenv
Type-safe Kotlin configuration by delegates
rmculpepper/iracket
Jupyter kernel for Racket
kinmanz/commonWillBot
Gradual-Typing/Grift
A compiler for the gradually typed lambda calculus
ia32-doc/ia32-doc
IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible
JetBrains/Arend
The Arend Proof Assistant
python/mypy
Optional static typing for Python
elsaland/elsa
❄️ Elsa is a minimal runtime for JavaScript and TypeScript written in Go
albertmeronyo/awesome-midi-sources
A curated list of sites with MIDI files on the Web
racket/racket
The Racket repository
tomaspinho/rtl8821ce
JetBrains/intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
qoomon/docker-host
A docker sidecar container to forward all traffic to local docker host or any other host
OlegStotsky/go-monads
experimental implementation of basic monads based on go2 generics draft
keithfma/insult_error
Intentionally insulting exceptions for Python
moosefs/moosefs-docker-cluster
Multiple node MooseFS cluster on Docker
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
cp-algorithms/cp-algorithms
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
OSLL/tiny-slam-ros
TinySLAM implementation in ROS
FirstTimeInForever/intellij-music
Play fancy music based on your keyboard activity in IDE
argouml-tigris-org/argouml
Main project of argouml. Some information in the wiki. Some old releases in releases. (depends on parentpom, testmodels)
trehn/termdown
Countdown timer and stopwatch in your terminal
FirstTimeInForever/clion-gcc-env
Cadene/pretrained-models.pytorch
Pretrained ConvNets for pytorch: NASNet, ResNeXt, ResNet, InceptionV4, InceptionResnetV2, Xception, DPN, etc.
tqdm/tqdm
:zap: A Fast, Extensible Progress Bar for Python and CLI
mkarpenkospb/drum_and_bass
Карпенко, Крыштапович, НИР 2019
torvalds/linux
Linux kernel source tree
adam-p/markdown-here
Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.