sindikat

sindikat's Stars

• impermeable/waterproof

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

  Language:JavaScript355

• Experience-Monks/math-as-code

  a cheat-sheet for mathematical notation in code form

  15k1.1k

• mapozyan/caps

  Power Search: A full-text search plugin for Calibre

  Language:Python352

• bryanedds/Nu

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

  Language:F#1.1k153

• public-apis/public-apis

  A collective list of free APIs

  Language:Python307k32.9k

• satwikkansal/wtfpython

  What the f*ck Python? 😱

  Language:Python35.5k2.6k

• rgleichman/glance

  A visual Haskell

  Language:Haskell71615

• jdelouche/Fix

  Language:Haskell7

• nbro/understanding-math

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

  1k88

• rossant/awesome-math

  A curated list of awesome mathematics resources

  Language:Python8.5k932

• awesomo4000/awesome-provable

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

  1908

• sindresorhus/awesome

  😎 Awesome lists about all kinds of interesting topics

  315k27.4k

• kachayev/fn.py

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

  Language:Python3.3k204

• ondras/rot.js

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

  Language:JavaScript2.3k254

• benmoran56/esper

  An ECS (Entity Component System) for Python

  Language:Python53867

• JeffPaine/beautiful_idiomatic_python

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

  650132

• simh/simh

  The Computer History Simulation Project

  Language:C1.6k302

• functionalCS/curriculum

  A Modern CompSci Curriculum

  30138

• sharkdp/shell-functools

  Functional programming tools for the shell

  Language:Python1.2k47

• kai-qu/notation

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

  1.8k55

• klaudiosinani/tusk

  Refined Evernote desktop app

  Language:JavaScript3.1k249

• kamranahmedse/developer-roadmap

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

  Language:TypeScript284k37.8k

• bmorelli25/Become-A-Full-Stack-Web-Developer

  Free resources for learning Full Stack Web Development

  17.1k2.7k

• P1xt/p1xt-guides

  Programming curricula

  6.9k1.7k

• Captain-Chaos/WorldPainter

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

  Language:Java35058

• cgutteridge/geocraft

  Language:Perl9623

• dessalines/essays

  A few essays on communism

  Language:SCSS1.5k171

• libtcod/libtcod

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

  Language:C95762

• webyrd/Barliman

  Prototype smart text editor

  Language:Scheme1k30

• cl21/cl21

  Common Lisp in the 21st Century.

  Language:Common Lisp90542