Synless is a language-agnostic tree editor.
☆23Jan 15, 2026Updated last month
Alternatives and similar repositories for synless
Users that are interested in synless are comparing it to the libraries listed below
Sorting:
- A system to handle and connect meal-credit donations on the Brown campus☆10Apr 19, 2023Updated 2 years ago
- Crushes SVG files into a single path and optimizes them.☆23Nov 22, 2016Updated 9 years ago
- A C implementation of the Ramer-Douglas-Peucker path simplification algorithm☆13Sep 5, 2015Updated 10 years ago
- Source code for the paper Hierarchically Organized Latent Modules for Exploratory Search in Morphogenetic Systems☆14Dec 15, 2020Updated 5 years ago
- Centroidal Voronoi Tessellations on Surfaces☆16Mar 15, 2017Updated 8 years ago
- ☆53Nov 25, 2020Updated 5 years ago
- an svg-file to gcode converter using optimized paths. Written in C and nanosvg.h by Mikko Mononen. Compiles on OS X, Linux, Windows or ma…☆22Oct 6, 2023Updated 2 years ago
- Bazel rules that support breaking a typescript codebase into small, independently-compilable libraries. "Batteries not included".☆13Dec 2, 2022Updated 3 years ago
- Webgpu experiments☆10Jul 3, 2022Updated 3 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- This is a boilerplate example of how to write c++ code and translate it using emscripten into javascript. Then using a typescript declara…☆16Sep 1, 2024Updated last year
- Racket Abstract Interpretation☆14Dec 15, 2022Updated 3 years ago
- The opentheory tool processes higher order logic theory packages☆16Mar 21, 2023Updated 2 years ago
- Fork of https://16-bits.org/ft2.php☆12Feb 11, 2020Updated 6 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- The Mechanization of Standard ML☆75Jul 18, 2022Updated 3 years ago
- dirty toolkit☆20Nov 1, 2020Updated 5 years ago
- GRASP for Android☆16Mar 13, 2023Updated 2 years ago
- strips metadata from your hip files☆14Feb 24, 2021Updated 5 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆21Jan 2, 2025Updated last year
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- Image Encryption Algorithm - Digital Image Processing Research Work☆11Oct 4, 2016Updated 9 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Mar 28, 2023Updated 2 years ago
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- A simple command line parser☆18Nov 3, 2019Updated 6 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- A simple Topology Optimization (based on the 99-line Matlab code by Ole Sigmund)☆18Aug 3, 2012Updated 13 years ago
- A programming language somewhat resembling cellular processes.☆34Feb 27, 2022Updated 4 years ago
- A half-edge mesh data structure implemented in Rust☆15Aug 30, 2018Updated 7 years ago
- Finite domain constraint solver in Haskell☆20Oct 2, 2021Updated 4 years ago
- Generated, modular typeface based on thi.ng wordmark☆20Apr 9, 2025Updated 10 months ago
- ☆28Jun 4, 2024Updated last year
- Typescript starter project for Neutralinojs☆17Apr 12, 2021Updated 4 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Oct 23, 2020Updated 5 years ago
- yoda is an acronym of Yet Onather Delirious Application, implementing a Forth compiler which translates Forth source code to bash functio…☆46Jul 7, 2025Updated 7 months ago
- Discover WebAssembly System Interface (WASI) with C/Rust use cases☆27Mar 3, 2023Updated 3 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Jun 3, 2017Updated 8 years ago
- Start☆16May 31, 2016Updated 9 years ago