Skip to content
View sindikat's full-sized avatar

Organizations

@libreprojects

Block or report sindikat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

JavaScript 40 6 Updated Mar 19, 2024

a cheat-sheet for mathematical notation in code form

15,047 1,073 Updated Mar 8, 2022

Power Search: A full-text search plugin for Calibre

Python 36 2 Updated Jul 11, 2023

Repository hosting the open-source Nu Game Engine and related projects.

F# 1,141 155 Updated Nov 24, 2024

A collective list of free APIs

Python 318,251 33,909 Updated Oct 31, 2024

What the f*ck Python? 😱

Python 35,836 2,659 Updated Nov 5, 2024

A visual Haskell

Haskell 720 15 Updated Mar 20, 2022
Haskell 7 Updated Mar 22, 2020

Links to resources talking about how to learn & understand mathematics, and mathematical language, terminology and notation.

1,071 92 Updated Nov 22, 2024

A curated list of awesome mathematics resources

Python 8,888 962 Updated Nov 16, 2024

A curated set of links to formal methods involving provable code.

196 8 Updated Dec 12, 2021

😎 Awesome lists about all kinds of interesting topics

334,548 27,921 Updated Nov 23, 2024

Functional programming in Python: implementation of missing features to enjoy FP

Python 3,351 203 Updated Aug 30, 2022

ROguelike Toolkit in JavaScript. Cool dungeon-related stuff, interactive manual, documentation, tests!

JavaScript 2,352 256 Updated Nov 13, 2024

An ECS (Entity Component System) for Python

Python 555 70 Updated Aug 21, 2024

Notes from Raymond Hettinger's talk at PyCon US 2013.

654 133 Updated Aug 13, 2019

The Computer History Simulation Project

C 1,674 304 Updated Oct 26, 2024

A Modern CompSci Curriculum

302 38 Updated Jul 10, 2024

Functional programming tools for the shell

Python 1,201 50 Updated Nov 22, 2024

Collection of quotes on notation design & how it affects thought.

1,845 54 Updated Dec 11, 2020

Refined Evernote desktop app

JavaScript 3,154 246 Updated Aug 30, 2024

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

TypeScript 298,312 39,230 Updated Nov 24, 2024

Free resources for learning Full Stack Web Development

17,302 2,725 Updated Jun 18, 2024

Programming curricula

7,027 1,714 Updated Nov 12, 2024

WorldPainter is an interactive graphical map generator for the indie game Minecraft.

Java 366 60 Updated Oct 20, 2024
Perl 99 23 Updated Jun 26, 2024

A few essays on communism

SCSS 1,523 173 Updated Nov 8, 2024

A collection of tools and algorithms for developing traditional roguelikes. Such as field-of-view, pathfinding, and a tile-based terminal emulator.

C 993 63 Updated Nov 16, 2024

Prototype smart text editor

Scheme 1,049 30 Updated Jun 7, 2024

Common Lisp in the 21st Century.

Common Lisp 911 43 Updated May 28, 2021
Next