HodanPlodky

HodanPlodky's Stars

• torvalds/linux

  Linux kernel source tree

  Language:C191k7.8k055.4k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python76.4k9221.2k6.6k

• slab/quill

  Quill is a modern WYSIWYG editor built for compatibility and extensibility

  Language:TypeScript45k4893.7k3.5k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust38.7k1053.1k1.1k

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust35.1k1892k1.1k

• SerenityOS/serenity

  The Serenity Operating System 🐞

  Language:C++31.4k3534.2k3.2k

• TheAlgorithms/C

  Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

  Language:C19.9k5251444.5k

• KaTeX/KaTeX

  Fast math typesetting for the web.

  Language:JavaScript18.9k2831.6k1.2k

• amark/gun

  An open source cybersecurity protocol for syncing decentralized graph data.

  Language:JavaScript18.4k3198011.2k

• lichess-org/lila

  ♞ lichess.org: the forever free, adless and open source chess server ♞

  Language:Scala16.4k2289.8k2.4k

• fathyb/carbonyl

  Chromium running inside your terminal

  Language:Rust15k78128296

• uuidjs/uuid

  Generate RFC-compliant UUIDs in JavaScript

  Language:TypeScript14.9k135410913

• cefsharp/CefSharp

  .NET (WPF and Windows Forms) bindings for the Chromium Embedded Framework

  Language:C#10k5333k2.9k

• berty/berty

  Berty is a secure peer-to-peer messaging app that works with or without internet access, cellular data or trust in the network

  Language:TypeScript7.8k1281.2k396

• digitallyinduced/ihp

  🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

  Language:Haskell5k36827202

• zesterer/chumsky

  Write expressive, high-performance parsers with ease.

  Language:Rust3.9k22309164

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.5k60359178

• rtfeldman/elm-spa-example

  A Single Page Application written in Elm

  Language:Elm3.3k8150530

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k802.9k273

• oakes/vim_cubed

  Vim rendered on a cube for no reason

  Language:Nim2.7k163937

• LeelaChessZero/lc0

  Open source neural network chess engine with GPU acceleration and broad hardware support.

  Language:C++2.6k92610558

• doge1338/fractal

  A small mandelbrot set renderer in Go

  Language:Go2703126

• to-mas-kral/Fearless-NES

  A NES emulator written in Rust

  Language:Rust118027

• KierenP/Halogen

  C++ chess engine

  Language:C++84102410

• JKAnderson/DS-Gadget

  A multi-purpose testing tool for Dark Souls: Prepare to Die Edition.

  Language:C#534159

• jnm2/LowLevelHooking

  Windows low level keyboard hooking component

  Language:C#15321

• odubno/ford-fulkerson-max-flow

  Python code for finding Max Flow in a directed graph.

  Language:Python15118

• lambduli/plover

  An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.

  Language:Haskell6100

• richard-hajek/progtest

  [CZECH] A script to test tasks for a CTU programming course

  Language:Shell4110