marcin-serwin Goto Github PK

bachelor-tcs

book-pl

Język Programowania Rust

cographs

Algorithms for detection of cographs and basic algorithms for such graphs.

csquotes

Con­text sen­si­tive quo­ta­tion fa­cil­i­ties

fp-ts

Functional programming in TypeScript

ghostwriter

ghostwriter is a cross-platform, aesthetic, distraction-free Markdown editor.

hedy

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.

lshort

The Not So Short Introduction to LaTeX

manim

A community-maintained Python framework for creating mathematical animations.

manimpango

Binding for Pango, to use with Manim.

monad-par

monads-tf

Monad classes, using type families

networkx-stubs

openboard

OpenBoard is a cross-platform interactive whiteboard application intended for use in a classroom setting.

pandoc

Universal markup converter

r4cppp

Rust for C++ programmers

rust

Empowering everyone to build reliable and efficient software.

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

termcolor

ANSI color formatting for output in terminal

unicode-math

XeLaTeX/LuaLaTeX package for using unicode/OpenType maths fonts

voice

Minimalistic audiobook player

vulkan-tutorial-ash

vulkantutorial

Tutorial for the Vulkan graphics and compute API