hzelenka

hzelenka's Stars

• wmww/Pinecone

  An unmaintained programming language

  Language:C++869117

• tibbe/haskell-style-guide

  A style guide for Haskell code.

  Language:Emacs Lisp95975

• chishui/terminal-leetcode

  Terminal-Leetcode is a terminal based leetcode website viewer.

  Language:Python25928

• owickstrom/idris-vimscript

  Compile Idris to Vimscript, like you always wanted.

  Language:Haskell1305

• fishercoder1534/Leetcode

  Solutions to LeetCode problems; updated daily. Subscribe to my YouTube channel for more.

  Language:Java3.9k1.3k

• smogon/pokemon-showdown-client

  The client for Pokémon Showdown

  Language:TypeScript572810

• edwinb/Blodwen

  A prototype successor to Idris

  Language:Idris53836

• veekun/pokedex

  more than you ever wanted to know about Pokémon

  Language:Python1.5k629

• mjhea0/flaskr-tdd

  Flaskr: Intro to Flask, Test-Driven Development (TDD), and JavaScript

  Language:Python2.3k500

• RattleyCooper/Swarm

  Swarm is a strategy rouge-like space simulator game written with `pygame/python3`.

  Language:Python81

• adnanaziz/EPIJudge

  EPI Judge - Preview Release

  Language:C++2.8k1.9k

• google/styleguide

  Style guides for Google-originated open-source projects

  Language:HTML37.9k13.3k

• yosefk/cpp-fqa

  C++ Frequently Questioned Answers (FQA)

  Language:Python31017

• akullpp/awesome-java

  A curated list of awesome frameworks, libraries and software for the Java programming language.

  42.8k7.4k

• trekawek/coffee-gb

  Gameboy emulator in Java 8.

  Language:Java1.1k82

• munificent/vigil

  Vigil, the eternal morally vigilant programming language

  Language:Python2.9k62

• marukrap/RoguelikeDevResources

  A curated list of roguelike development resources

  1.1k66

• mame/quine-relay

  An uroboros program with 100+ programming languages

  Language:Ruby14.1k559

• rust-unofficial/awesome-rust

  A curated list of Rust code and resources.

  Language:Rust48.7k2.8k

• dwyl/english-words

  :memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

  Language:Python11k1.9k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k667

• makemeunsee/ichimiginikarasu

  tool for generating printable Kanji flashcards

  Language:Haskell6910

• twostraws/HackingWithSwift

  The project source code for Hacking with iOS.

  Language:Swift6k3.3k

• EnterpriseQualityCoding/FizzBuzzEnterpriseEdition

  FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

  Language:Java22.1k768

• rwaldron/idiomatic.js

  Principles of Writing Consistent, Idiomatic JavaScript

  25.1k3.5k

• smogon/damage-calc

  Pokemon games damage calculator

  Language:TypeScript404382

• algorithmiaio/sample-apps

  Sample apps and sites with Algorithmia integration

  Language:JavaScript195119

• Azurency/CQUI_Community-Edition

  Civilization 6 mod - UI enhancements, reduce clicks and manage your empire faster!

  Language:Lua39897

• HabitRPG/habitica

  A habit tracker app which treats your goals like a Role Playing Game.

  Language:JavaScript12.5k4.2k

• ystael/chicago-ug-math-bib

  Chicago undergraduate mathematics bibliography

  Language:HTML70361