Minimalistic dynamically-typed programming language for didactic purposes.
☆29Aug 13, 2022Updated 3 years ago
Alternatives and similar repositories for kavascript
Users that are interested in kavascript are comparing it to the libraries listed below
Sorting:
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆30Aug 8, 2022Updated 3 years ago
- WIP statically-typed subset of Ruby (maybe)☆12Sep 12, 2025Updated 6 months ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Dec 30, 2023Updated 2 years ago
- A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…☆13Jan 18, 2023Updated 3 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 3 years ago
- Zig compiler compiled to WASM☆19Apr 17, 2024Updated last year
- Attempt at creating an architecture agnostic jit library, heavily inspired by copy-and-patch.☆18Jun 23, 2024Updated last year
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- GPU-accelerated GUI development for the desktop and the browser☆19Mar 12, 2026Updated last week
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Apr 19, 2023Updated 2 years ago
- LCOV tracefile parser/merger/filter in pure Rust.☆16Mar 13, 2026Updated last week
- Download the GraalVM JDK with ease.☆13Jul 26, 2023Updated 2 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆19Feb 13, 2026Updated last month
- Prototype language for signal processing☆27Nov 1, 2025Updated 4 months ago
- Partial evaluation of Python code☆22Mar 2, 2023Updated 3 years ago
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 6 years ago
- Generalized Linear Model Script☆39Dec 15, 2023Updated 2 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- calculate new mpt root without loading entire trie☆17Jun 19, 2024Updated last year
- Random program generator for Python☆10Jun 20, 2013Updated 12 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- Genomic and Proteomic data exploration and pattern mining☆26Apr 2, 2025Updated 11 months ago
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…☆17Jul 27, 2024Updated last year
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Mastodon client based on Akka Streams.☆11Apr 16, 2017Updated 8 years ago
- An educational toy fuzzer with big dreams☆12Dec 12, 2023Updated 2 years ago
- webassembly wat text format to binary compiler☆22Dec 7, 2022Updated 3 years ago
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated last year
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Jun 29, 2022Updated 3 years ago
- WASM compatible RPython fork☆34Jun 16, 2023Updated 2 years ago
- Request For Comments (RFCs) documenting changes to Qri☆12Nov 23, 2021Updated 4 years ago
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 6 years ago
- Native language with Rust & LLVM☆71Sep 2, 2023Updated 2 years ago
- Enable cross-building of sbt plugins☆46Aug 13, 2017Updated 8 years ago
- The goal is to compile a reasonably complete list of all implementations of the Smalltalk system☆27Feb 9, 2026Updated last month
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago