Nový, krajší a lepší nástroj na podpisovanie.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

λ Haskell, but no Ls. You call Haskell a toy academia language – I'll show you *real* software in it.

In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.

Fast math typesetting for the web.

KeyboardCleaner is a macOS app for temporarily disabling input devices.

A new type of shell

Apache Ant is a Java-based build tool.

Richard A. Eisenberg's PhD Dissertation

🐚 OpenDevin: Code Less, Make More

User-friendly WebUI for LLMs (Formerly Ollama WebUI)

Move and resize windows on macOS with keyboard shortcuts and snap areas

A community-maintained Python framework for creating mathematical animations.

🎹 Learn to play piano

Flashy Synthesia Like Software For Linux,Windows and MacOs

The ultimate list of which programs support Vim-like keybindings natively, or how they can be added with extensions. A collaborative project.

A launch point for your personal nvim configuration

Compiler for Elm, a functional language for reliable webapps.

Source code for haskle.net

A simple CLI for interacting with macOS reminders

A curated list of awesome Objective-C frameworks, libraries and software.

A real-time visualisation of the CO2 emissions of electricity consumption

Arduino sketches.

💻 A better and friendly vi(vim) mode plugin for ZSH.

Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering

A fast, friendly, functional language.

A keyboard shortcut browser extension for keyboard-based navigation and tab operations with an advanced omnibar

</> htmx - high power tools for HTML

Get up and running with Llama 3, Mistral, Gemma 2, and other large language models.

Your new Jekyll default theme.