- Indonesia
- https://wisn.ch/
- @Wisn98
Highlights
- Pro
Lists (32)
Sort Name ascending (A-Z)
Abstract/Virtual Machines
Ada Ecosystem
Assembly Ecosystem
Books
C Ecosystem
Computer Networking
Confidential Computing
Config Management
Cursed Projects
Databases
Formal Development
Formal Methods
Fundamental Theories
Homomorphic Encryption
Kotlin Native
Lean Ecosystem
Linux Distro
OCaml Ecosystem
Operating Systems
Programming Languages
Resource Guides
Rust Ecosystem
Theorem Prover
TUI
user interface libraries for terminalTVLK
all stared traveloka's repositories are hereTypesetter
Unikernels
WASM Ecosystem
Web App Framework
Web Frontend Libs/Frameworks
Web3
Zig Ecosystem
Stars
- All languages
- ANTLR
- ATS
- Ada
- Agda
- Ballerina
- Batchfile
- C
- C#
- C++
- C3
- CMake
- CSS
- Clojure
- CodeQL
- Common Lisp
- Cuda
- D
- Dhall
- Elixir
- Erlang
- F#
- F*
- Go
- Grammatical Framework
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Markdown
- Mercury
- Nim
- Nix
- OCaml
- Odin
- Pascal
- Python
- Racket
- Red
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- V
- WebAssembly
- Wren
- Zig
The fastest path to AI-powered full stack observability, even for lean teams.
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTSP, SCP,…
A simple and easy-to-use library to enjoy videogames programming
A flexible distributed key-value database that is optimized for caching and other realtime workloads.
Embedded graphics library to create beautiful UIs for any MCU, MPU and display type.
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
Package desktop applications as AppImages that run on common Linux-based operating systems, such as RHEL, CentOS, openSUSE, SLED, Ubuntu, Fedora, debian and derivatives. Join #AppImage on irc.liber…
A simple and easy-to-use immediate-mode gui library
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
A kernel designed to run one and only one application in a virtualized environment
A Zig-native web framework. File-based routing, SSR, type-safe APIs, WASM client interactivity. No Node. No npm. Just zig build serve.
Simple unix-like operating system for education and research purposes