justinpombrio / synlessView external linksLinks
Synless is a language-agnostic tree editor.
☆23Jan 15, 2026Updated 3 weeks ago
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
- Source code for the paper Hierarchically Organized Latent Modules for Exploratory Search in Morphogenetic Systems☆14Dec 15, 2020Updated 5 years ago
- A C implementation of the Ramer-Douglas-Peucker path simplification algorithm☆13Sep 5, 2015Updated 10 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
- A simulation of Slime Mold for in WebGL and GLSL Shaders for CS420X☆27Jan 7, 2023Updated 3 years ago
- Bazel rules that support breaking a typescript codebase into small, independently-compilable libraries. "Batteries not included".☆13Dec 2, 2022Updated 3 years ago
- Gradient noise generators in C (perlin and simplex)☆12Dec 18, 2012Updated 13 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Webgpu experiments☆10Jul 3, 2022Updated 3 years ago
- Racket Abstract Interpretation☆14Dec 15, 2022Updated 3 years ago
- ☆19Jan 15, 2012Updated 14 years ago
- The opentheory tool processes higher order logic theory packages☆16Mar 21, 2023Updated 2 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
- GRASP for Android☆16Mar 13, 2023Updated 2 years ago
- "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
- strips metadata from your hip files☆14Feb 24, 2021Updated 4 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆21Jan 2, 2025Updated last year
- (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
- A simple command line parser☆18Nov 3, 2019Updated 6 years ago
- Formal Semantics for Why3☆19Sep 28, 2025Updated 4 months 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
- ☆16Dec 28, 2021Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Feb 27, 2022Updated 3 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
- 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
- ☆28Jun 4, 2024Updated last year
- 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
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Mar 11, 2021Updated 4 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
- Discover WebAssembly System Interface (WASI) with C/Rust use cases☆26Mar 3, 2023Updated 2 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Javascript port of Ooura FFT implementation☆25Jul 31, 2020Updated 5 years ago