- 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
Free and Open Source, Distributed, RESTful Search Engine
Ghidra is a software reverse engineering (SRE) framework
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Light, fluffy, and always free - The AWS Local Emulator alternative
Generate diagrams from textual description
Server supporting the Signal Private Messenger applications on Android, Desktop, and iOS
CoreNLP: A Java suite of core NLP tools for tokenization, sentence segmentation, NER, parsing, coreference, sentiment analysis, etc.
Open source transactional distributed database. Linear scalability and proven fault-tolerance on commodity hardware or cloud infrastructure without compromising performance.
Apache Camel is an open source integration framework with 350+ connectors. Write routes in Java, YAML, or XML. Run on Spring Boot, Quarkus, or standalone. Apache License 2.0.
OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID…
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
JLine is a Java library for handling console input.
SirixDB is an an embeddable, bitemporal, append-only database system and event store, storing immutable lightweight snapshots. It keeps the full history of each resource. Every commit stores a spac…
ActiveJ is an alternative Java platform built from the ground up. ActiveJ redefines core, web and high-load programming in Java, providing simplicity, maximum performance and scalability
Vaadin Flow is a Java framework binding Vaadin web components to Java. This is part of Vaadin 10+.
ARCHIVED: Bytecode to source converting Java & Kotlin code into JavaScript, C++, D, C#, PHP, AS3, Dart and Haxe and run it everywhere. Also use JVM code in your favourite language as a library.
🐒 Bytecode-level fault injection for the JVM.
OpenCCG library for parsing and realization with CCG
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…