-
HSE, Applied Maths & Computer Science
- Macondo
- @senchopens
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Agda
- Assembly
- AutoHotkey
- Awk
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Fennel
- Go
- Groovy
- HTML
- Haskell
- Haxe
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Just
- Kotlin
- Lean
- Lua
- Makefile
- Markdown
- Mustache
- Nim
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- Python
- R
- RenderScript
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- Vue
- Zig
A linux distribution based on Nix [maintainer=@MagicRB]
Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]
VPN client in a thin Docker container for multiple VPN providers, written in Go, and using OpenVPN or Wireguard, DNS over TLS, with a few proxy servers built-in.
Syntax highlighting and indentation for KDL (https://kdl.dev)
A markup-based typesetting system that is powerful and easy to learn.
WIP Language Server for Nix! [maintainer=@aaronjanse]
❄️ Simplify Nix Flakes with the module system
Command-line tool to manage bibliography (pdfs + bibtex)
boxxy puts bad Linux applications in a box with only their files.
Convert poetry projects to nix automagically [maintainer=]
Rembg is a tool to remove images background
A system for assigning and grading notebooks
NIx Language server, an incremental analysis assistant for writing in Nix.
Highly parallelized, blazing fast directory tree analyzer
Scan a QR code in the terminal using the system camera or a given image
A curated list of awesome awesomeness
Cross-platform Rust rewrite of the GNU coreutils
The plaintextaccounting.org website, a portal to Ledger, hledger, beancount and co. Also the PTA wiki.
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
A terminal spreadsheet multitool for discovering and arranging data
Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]
Financial data platform for analysts, quants and AI agents.
A tool that embosses the needed dependencies on the top level executable