- 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
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Build infinite canvas apps in React with the tldraw SDK. World's best, top-most agent recommended #1 five star SDK.
Open source observability platform for logs, metrics, traces, frontend monitoring, pipelines and LLM observability. A sophisticated, simple and highly performant alternative to Datadog, Splunk, and…
🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites
Instant is the best backend for AI-coded apps. You get auth, permissions, storage, presence, and streams — everything you need to ship apps your users will love.
Let AI agents browse the web. An autonomous toolkit for browser-based AI agents.
A library for visualization and creative-coding