nanofuzz / nanofuzz

Related projects ⓘ

Alternatives and complementary repositories for nanofuzz

• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆128Updated last week
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆52Updated 8 months ago
• muromec / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated last month
• NyuB / ocli
  Mini elm-inspired framework for Ocaml CLI applications
  ☆71Updated 2 weeks ago
• yawaramin / bookmarklets
  Personal collection of useful bookmarklets
  ☆12Updated last month
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆14Updated 4 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• blech-lang / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆64Updated last year
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• davvid / gcd
  Git worktree navigator
  ☆27Updated 8 months ago
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 6 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated 7 months ago
• cachix / gptcomment
  ☆15Updated 8 months ago
• pschanely / contractual-semver
  Contractual Semver
  ☆25Updated 2 years ago
• slightknack / treegrep
  Semantic find-and-replace using tree-sitter-based macro expansion!
  ☆16Updated 2 years ago
• stevana / svg-viewer-in-svg
  SVG viewer in SVG
  ☆17Updated last year
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆82Updated 3 weeks ago
• codesoap / httpipe
  WIP; specification of a format for communicating streams of HTTP requests and responses
  ☆14Updated 7 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated last year
• trailofbits / differ
  Detecting Inconsistencies in Feature or Function Evaluations of Requirements
  ☆67Updated 7 months ago
• pannous / wasp
  🐝 Wasp : Wasm programming language
  ☆112Updated last month
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 3 years ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆21Updated 4 months ago
• yosefk / refix
  replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds
  ☆29Updated 7 months ago
• eliot-akira / waxolotl
  A small language that compiles to WebAssembly Text format
  ☆73Updated 6 months ago