Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- Dhall
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- Go
- Groovy
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- MoonScript
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PureScript
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Starlark
- TeX
- TypeScript
- Vim Script
- WebAssembly
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
This repository moved. Please use the new location https://gitlab.com/pandark/plans-comptables-francais
Platform for dividing the world's largest problems into collaborative projects
A modern, lambda-friendly, 120 character Java formatter.
easily build most Haskell programs into fully static Linux executables
The participatory democracy framework. A generator and multiple gems made with Ruby on Rails
Delta.Chat C-Library with e2e chat-over-email functionality & Python bindings
CodiMD - Realtime collaborative markdown notes on all platforms.
Emits code crossreference data for Haskell sources.
Firefox Multi-Account Containers lets you keep parts of your online life separated into color-coded tabs that preserve your privacy. Cookies are separated by container, allowing you to use the web …
Easily and securely send things from one computer to another 🐊 📦
Serve your /nix/store directory over the internet ✨
The slightly more awesome standard unix password manager for teams
An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.
Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.
Proofs of the number of inhabitants of polymorphic functions
A python-ish pure and total functional programming language
PWA presentation built with MDX and codeSurfer