-
TU Dresden
- Dresden, Germany
-
20:58
(UTC +01:00) - @maxrn.dev
Lists (1)
Sort Name ascending (A-Z)
Stars
Borgo is a statically typed language that compiles to Go.
A simple http client/server (http/1.1 & h2) for OCaml 5
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]
Performant, batteries-included completion plugin for Neovim
Anime Girls Holding Programming Books
Manage a user environment using Nix [maintainer=@rycee]
A simple PHP script designed to solve a common issue when publishing `.ics` calendar files from Microsoft Exchange calendars to Google Calendar.
A modern runtime for JavaScript and TypeScript.
🍁 Generate infrastructure and network diagrams directly from your NixOS configurations
Web library for OCaml with support for HTTP/1.X / HTTP/2
Sioyek is a PDF viewer with a focus on textbooks and research papers
A web page for dune binary distribution
A Spotify player in the terminal with full feature parity
Fixes golang templ goto definition to open .templ file instead of generated .go file
Lock-free data structures for multicore OCaml
Examples to illustrate the use of algebraic effects in Multicore OCaml