nanofuzz / nanofuzz
NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
☆36Updated this week
Related projects ⓘ
Alternatives and complementary repositories for nanofuzz
- A Nix web bundler because why not☆53Updated 8 months ago
- SVG viewer in SVG☆17Updated last year
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Updated last year
- Run erlang as a WASI http server (vapourware)☆26Updated last week
- A JS devtool orchestrator☆37Updated this week
- Programming Languages Grammar House (BNF like grammars)☆19Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- User-configurable login shell configured by the SHELLS environment variable.☆19Updated 5 months ago
- A probabilistic approximate DNF counter☆36Updated 7 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 8 years ago
- Mini elm-inspired utilities for Ocaml CLI applications☆72Updated last week
- WIP; specification of a format for communicating streams of HTTP requests and responses☆14Updated 7 months ago
- Macro-based string templating.☆20Updated 2 months ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 2 years ago
- Control VS Code using your smartphone! Support for sending files, images and more. Take AI assistance when you need it.☆22Updated 3 weeks ago
- Gliimly is a new programming language and framework for writing high-performance web services and web applications, with focus on simplic…☆30Updated this week
- Convert an EBNF grammar to the tree-sitter dsl☆24Updated 11 months ago
- Personal collection of useful bookmarklets☆12Updated 2 months ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- Social timeboxing for IRC channels☆17Updated 2 months ago
- ☆15Updated 8 months ago
- Semi-Automated Python Proof Assistant☆54Updated last week
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆28Updated 4 months ago
- A small language that compiles to WebAssembly Text format☆74Updated 6 months ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆29Updated 8 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated 8 months ago