Slides for an introductory talk about Haskell (in German)
☆11May 16, 2020Updated 5 years ago
Alternatives and similar repositories for vortrag-haskell
Users that are interested in vortrag-haskell are comparing it to the libraries listed below
Sorting:
- Worksheets and lecture notes for my math courses for school students (in German)☆10Feb 12, 2026Updated 2 weeks ago
- LaTeX-ed class notes (German) taken during various mathematics and computer science classes☆12Nov 28, 2020Updated 5 years ago
- ☆11Feb 3, 2026Updated last month
- 📊 📖 Authoritarian regimes and international NGOs☆16Aug 13, 2019Updated 6 years ago
- A repository for the Data Science Hackathon☆21Sep 24, 2015Updated 10 years ago
- Tests your pull requests using Hydra☆20Nov 13, 2017Updated 8 years ago
- Proof and Code Presentation Framework☆22Jul 17, 2019Updated 6 years ago
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago
- Reading List of Reinforcement Learning for NLP☆31Mar 6, 2018Updated 7 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Feb 13, 2026Updated 2 weeks ago
- celestial automaton☆10Mar 21, 2018Updated 7 years ago
- Base Tintin++ / Wintin++ settings for the Aardwolf mud. Features comparable to the Aardwolf Mushclient package.☆32Feb 24, 2023Updated 3 years ago
- scripts for automating grading with GitHub Classroom and Moodle☆11May 18, 2020Updated 5 years ago
- ☆10Feb 8, 2014Updated 12 years ago
- Let's translate works of Grothendieck☆33Aug 13, 2019Updated 6 years ago
- Guia rápida de instalación de ArchLinux en modo UEFI☆10Apr 11, 2025Updated 10 months ago
- Lecture notes and course material for M3M6 Applied Complex Analysis at Imperial College☆37May 18, 2020Updated 5 years ago
- A haskell library implementing the Kademlia DHT☆43Dec 2, 2018Updated 7 years ago
- Taller de fundamentos de manera práctica de ciencia de datos en CTIC.☆17Jul 5, 2022Updated 3 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- mgarch Package for R-Project☆16Apr 28, 2014Updated 11 years ago
- VSC user training material and documentation☆10Feb 26, 2026Updated last week
- Binaries for mathematicians☆10Mar 19, 2025Updated 11 months ago
- This repository contains my solutions for the Udemy Course Complete Python Bootcamp: Go from zero to hero in Python 3☆10Jul 17, 2018Updated 7 years ago
- Python library for USB2FIR, an USB interface board for MLX90640☆14Nov 7, 2019Updated 6 years ago
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- gpm is a tool for managing Go projects.☆11May 18, 2019Updated 6 years ago
- Movie explorer Shiny app☆10Jul 18, 2014Updated 11 years ago
- General-purpose optimal control, trajectory optimisation and parameter optimisation using direct collocation☆10Aug 29, 2023Updated 2 years ago
- This is the official repository of The Open LaTeX Project☆13Oct 15, 2020Updated 5 years ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- ☆11Nov 24, 2018Updated 7 years ago
- GEO 325M Introduction to Numerical Modeling☆13Updated this week
- A simple CLI colorizer☆11Jun 18, 2021Updated 4 years ago
- Chrome extension that inserts a custom stylesheet and script into every web page.☆11Jul 16, 2019Updated 6 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- A web crawler that fetches K-pop song details and lyrics from top charts☆12Jul 18, 2017Updated 8 years ago
- Voice Notes is a lightweight memo tool to make text notes and voice and audio recordings.☆11Feb 11, 2026Updated 3 weeks ago