Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

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

✭ 2,746

haskell javascript Nix CSS HTML shell html framework postgresql nix mvc hacktoberfest

7. Home Manager

Manage a user environment using Nix [maintainer=@rycee]

✭ 2,447

Nix shell ruby perl HTML Makefile dotfiles nix nixos nixpkgs nix-dotfiles

8. Immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

✭ 1,935

C++javascript CMake Nix scheme scala data-structures immutable persistent value-semantics hamt rrb-tree postmodernism

9. Miso

🍜 A tasty Haskell front-end framework

✭ 1,911

javascript haskell Nix Dockerfile ui nix virtual-dom ramen miso

10. Kitty

Cross-platform, fast, feature-rich, GPU based terminal

✭ 13,011

python c objective c GLSL shell Nix opengl terminal-emulators terminal terminfo vt100

11. Lamdu

lamdu - towards the next generation IDE

✭ 1,708

haskell javascript Nix shell Inno Setup Dhall integrated-development-environment programmer-tool

12. Asterius

A Haskell to WebAssembly compiler

✭ 1,799

haskell javascript c Nix python shell HTML compiler webassembly ghc

13. Transfer.sh

Easy and fast file sharing from the command-line.

✭ 12,140

go Nix shell Dockerfile docker share transfer hacktoberfest transfersh hacktoberfest2021

14. 3mux

Terminal multiplexer inspired by i3

✭ 1,687

go Nix hacktoberfest tui tmux i3 i3wm

15. Doom Emacs

An Emacs framework for the stubborn martian hacker

✭ 12,774

emacs lisp YASnippet Nix shell HTML javascript vim emacs emacs-configuration evil doom-emacs

16. Betterlockscreen

Most of i3lock wrapper-scripts out there take an image, add some effect(s) then lock with the modified image as locker-background. Overall experience doesn't feel natural given delay of 2-3 seconds.

✭ 1,757

shell Nix i3wm lockscreen linux i3lock feh i3lock-color lockscreen-background betterlockscreen

17. Kind

A modern proof language

✭ 2,075

javascript scheme haskell Nix HTML Makefile functional-programming lambda-calculus type-theory theorem-prover formality moonad proof-language proof-languages

18. Simula

Linux VR Desktop

✭ 1,929

haskell GDScript Nix shell c Dhall

19. Haskell Language Server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

✭ 1,857

haskell javascript typescript Nix HTML shell ide stack cabal ghc lsp-server haskell-language-server

20. Milewski Ctfp Pdf

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

✭ 9,037

scala haskell ocaml TeX reason Nix functional-programming pdf latex category-theory

21. Nixpkgs

Nix Packages collection

✭ 8,322

Nix shell python perl c ruby linux nix nixos nixpkgs hacktoberfest

22. Nyxt

Nyxt - the hacker's power-browser.

✭ 7,038

common lisp c scheme emacs lisp Makefile shell Nix vim emacs browser productivity extensible web-browser hacker power-user keyboard-driven

23. Openproject

OpenProject is the leading open source project management software.

✭ 5,337

ruby typescript HTML Sass javascript Nix angular timeline project-management roadmap kanban workflows issue-tracker gantt gantt-chart scrum project-planning bug-tracker ifc openproject hacktoberfest boards bcf

24. Veewee

Easing the building of vagrant boxes

✭ 4,285

shell ruby Batchfile HTML python java Nix

25. Substrate

Substrate: The platform for blockchain innovators

✭ 6,275

rust WebAssembly shell Handlebars Dockerfile Nix node blockchain client parity substrate polkadot

26. Nix

Nix, the purely functional package manager

✭ 5,291

C++shell Nix M4 Makefile rust functional-programming package-manager nix

27. Buildah

A tool that facilitates building OCI images.

✭ 4,869

go shell Dockerfile perl Makefile Nix

28. Tailscale

The easiest, most secure way to use WireGuard and 2FA.

✭ 6,157

go shell HTML CSS Nix Dockerfile vpn oauth sso 2fa wireguard

29. Carp

Carp is a programming language designed to work well for interactive and performance sensitive use cases like games, sound synthesis and visualizations.

✭ 4,389

haskell c shell python Nix powershell functional-programming game-development gamedev functional games repl static typed

30. Hosts

🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

✭ 19,363

python Batchfile Nix Dockerfile security privacy malware protection hosts ransomware ad-blocker anti-virus unified-hosts porn-filter social-media-filter gambling-filter pornblocker trojans curated-sources

31. Cardano Sl

Cryptographic currency implementing Ouroboros PoS protocol

✭ 3,733

haskell Nix purescript HTML shell CSS cryptocurrency stake-blockchain-protocol

32. Postgrest

REST API for any Postgres database

✭ 18,166

haskell Nix python shell PLpgSQL Dockerfile database postgresql server rest automatic-api postgrest

33. Languageclient Neovim

Language Server Protocol (LSP) support for vim and neovim.

✭ 3,352

rust Vim Script python shell Nix elixir vim-plugin neovim-plugin language-server-protocol deoplete-source denite-source languageclient

34. Markdown Preview Enhanced

One of the 'BEST' markdown preview extensions for Atom editor!

✭ 3,478

HTML typescript Nix javascript Less CSS markdown atom markdown-editor pandoc plantuml atom-package katex mathjax toc mermaid

35. Status React

a free (libre) open source, mobile OS for Ethereum

✭ 3,307

clojure python java Nix shell objective c android ios react-native blockchain ethereum mobile cryptocurrency wallet messenger reactnative reagent react-native-app re-frame

36. Faraday

Faraday introduces a new concept - IPE (Integrated Penetration-Test Environment) a multiuser Penetration test IDE. Designed for distributing, indexing, and analyzing the data generated during a security audit.