GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
- java
- aot
- compiler
- graalvm
Repository Index
47,133 repositories indexed
1–24 of 37 · Most stars
🌀 A nonsense activity generator
- fake
- nonsense
- useless
- cli
High performance server-side application framework
- c-plus-plus
- seastar
- dpdk
- async
Clean Architecture Template for Blazor WebAssembly Built with MudBlazor Components.
Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.
- java
- jvm
- eclipse-openj9
- compiler
Starlark in Go: the Starlark configuration language, implemented in Go
A Rust compiler backend targeting CIL(.NET IR) and C.
Static type checker for Ruby
- ruby
- typechecker
Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
- ios
- java
- jvm
- robovm
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
ember-concurrency is an Ember Addon that enables you to write concise, worry-free, cancelable, restartable, asynchronous tasks.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that survives restarts, Rust bindings.
- c
- durable-execution
- embeddable
- hibernation
tar-stream is a streaming tar parser and generator.
Library for creating read-only file streams from file input elements or drop targets in Blazor.
- blazor
- stream
- webassembly
- c-sharp
Recompile Java code without restarting the REPL
- clojure
- java
- javac
- repl
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Write as Functions, Deploy as a Monolith or Microservice with WebAssembly
- wasm
- microservice-framework
- golang
- functions-as-a-service
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
- programming-language
- language
- programming-paradigms
- repl
A formalization of geometry in Coq based on Tarski's axiom system
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A simple, network enabled karaoke player in Rust
- karaoke
- music
- rust
- actix-web
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler