Steffen's starred repositories

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:51342Issues:0Issues:0

IHaskell

A Haskell kernel for the Jupyter project.

Language:Jupyter NotebookLicense:MITStargazers:2558Issues:0Issues:0

haskell-poker

a poker hand solver in haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10844Issues:0Issues:0

fp-course

Functional Programming Course

Language:HaskellStargazers:4084Issues:0Issues:0

algorithm-archive

A collaborative book on algorithms

Language:PythonLicense:MITStargazers:2328Issues:0Issues:0

no-more-secrets

A command line tool that recreates the famous data decryption effect seen in the 1992 movie Sneakers.

Language:CLicense:GPL-3.0Stargazers:7510Issues:0Issues:0

grenade

Deep Learning in Haskell

Language:HaskellLicense:BSD-2-ClauseStargazers:1440Issues:0Issues:0

learnhaskell

Learn Haskell

Language:MakefileLicense:CC0-1.0Stargazers:7931Issues:0Issues:0

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

Language:HaskellLicense:BSD-3-ClauseStargazers:2384Issues:0Issues:0

frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

Language:HaskellStargazers:488Issues:0Issues:0

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

License:MITStargazers:166121Issues:0Issues:0

algebra

C++ Abstract Algebra Library

Language:C++License:MITStargazers:22Issues:0Issues:0

Catch2

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Language:C++License:BSL-1.0Stargazers:18268Issues:0Issues:0

qserv

LSST Query Services

Language:C++Stargazers:29Issues:0Issues:0
Language:Jupyter NotebookStargazers:6Issues:0Issues:0

arduino_modern

Modern C++ arduino library

Language:C++Stargazers:19Issues:0Issues:0
Language:C++License:GPL-3.0Stargazers:14Issues:0Issues:0

modern-cpp-features

A cheatsheet of modern C++ language and library features.

License:MITStargazers:19215Issues:0Issues:0

Sophus

C++ implementation of Lie Groups using Eigen.

Language:C++License:NOASSERTIONStargazers:1968Issues:0Issues:0

Stockfish

A free and strong UCI chess engine

Language:C++License:GPL-3.0Stargazers:10878Issues:0Issues:0

ardupilot

ArduPlane, ArduCopter, ArduRover, ArduSub source

Language:C++License:GPL-3.0Stargazers:10234Issues:0Issues:0

dealii

The development repository for the deal.II finite element library.

Language:C++License:NOASSERTIONStargazers:1307Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:174807Issues:0Issues:0