Giters
HodanPlodky

HodanPlodky

Geek Repo

5

followers

6

following

29

stars

Github PK Tool:Github PK Tool

HodanPlodky's starred repositories

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:180150Issues:7913Issues:0

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:63250Issues:885Issues:1140

quill

Quill is a modern WYSIWYG editor built for compatibility and extensibility

Language:TypeScriptLicense:BSD-3-ClauseStargazers:43432Issues:484Issues:3611

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustLicense:Apache-2.0Stargazers:34349Issues:187Issues:1898

typst

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

Language:RustLicense:Apache-2.0Stargazers:33205Issues:88Issues:2531

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:30532Issues:352Issues:4184

C

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

Language:CLicense:GPL-3.0Stargazers:19074Issues:523Issues:141

KaTeX

Fast math typesetting for the web.

Language:JavaScriptLicense:MITStargazers:18290Issues:283Issues:1597

gun

An open source cybersecurity protocol for syncing decentralized graph data.

Language:JavaScriptLicense:NOASSERTIONStargazers:18095Issues:318Issues:794

lila

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

Language:ScalaLicense:AGPL-3.0Stargazers:15447Issues:226Issues:9346

uuid

Generate RFC-compliant UUIDs in JavaScript

Language:TypeScriptLicense:MITStargazers:14571Issues:139Issues:392

carbonyl

Chromium running inside your terminal

Language:RustLicense:BSD-3-ClauseStargazers:14466Issues:78Issues:122

CefSharp

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

Language:C#License:NOASSERTIONStargazers:9846Issues:541Issues:2913

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:GoLicense:NOASSERTIONStargazers:7575Issues:126Issues:1235

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:HaskellLicense:MITStargazers:4916Issues:37Issues:816

chumsky

Write expressive, high-performance parsers with ease.

Language:RustLicense:MITStargazers:3573Issues:24Issues:277

elm-spa-example

A Single Page Application written in Elm

Language:ElmLicense:MITStargazers:3284Issues:81Issues:50

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3279Issues:61Issues:319

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2893Issues:79Issues:2728

vim_cubed

Vim rendered on a cube for no reason

Language:NimLicense:UnlicenseStargazers:2712Issues:17Issues:39

lc0

The rewritten engine, originally for tensorflow. Now all other backends have been ported here.

Language:C++License:GPL-3.0Stargazers:2423Issues:93Issues:607

fractal

A small mandelbrot set renderer in Go

Language:GoStargazers:268Issues:3Issues:1

Fearless-NES

A NES emulator written in Rust

Language:RustLicense:GPL-3.0Stargazers:117Issues:0Issues:2

Halogen

C++ chess engine

Language:C++License:GPL-3.0Stargazers:69Issues:11Issues:24

DS-Gadget

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

Language:C#Stargazers:53Issues:5Issues:15

LowLevelHooking

Windows low level keyboard hooking component

Language:C#License:MITStargazers:15Issues:3Issues:2

ford-fulkerson-max-flow

Python code for finding Max Flow in a directed graph.

Language:PythonStargazers:14Issues:2Issues:1

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:HaskellLicense:MITStargazers:6Issues:1Issues:0

progtest

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

Language:ShellLicense:MITStargazers:3Issues:1Issues:1