legesher / legesher-translationsView external linksLinks
Home of all the translations for spoken languages into programming language
☆50Jan 5, 2026Updated last month
Alternatives and similar repositories for legesher-translations
Users that are interested in legesher-translations are comparing it to the libraries listed below
Sorting:
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- Web application to help tenants keep track of documentss related to their rental unit☆11Jan 7, 2023Updated 3 years ago
- Generate TypeScript typings from a Stack☆11Updated this week
- Create string patterns and derive things from them, such as regexes☆10Sep 19, 2024Updated last year
- A way to track my readings☆12Feb 10, 2026Updated last week
- A simple game engine using Gtk & Cairo☆14Aug 4, 2020Updated 5 years ago
- Shared resources for spatio-temporal models☆10Mar 11, 2025Updated 11 months ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- WARNING: Constellation-SDI Product and repository is now DEPRECATED, please use Examind Community instead.☆16Mar 18, 2021Updated 4 years ago
- Examples of using Diderot☆11Sep 16, 2019Updated 6 years ago
- R-Ladies Philly 2019 Community Data Project: PAWS☆14Jun 6, 2019Updated 6 years ago
- CLI for creating and developing with GrAMPS data sources.☆10Sep 10, 2019Updated 6 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- A simple Blaze Component for use with Flow Router's layout manager☆11Sep 23, 2019Updated 6 years ago
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆21Updated this week
- ☆10Jul 31, 2018Updated 7 years ago
- Assembly Web "Framework"☆10Apr 1, 2010Updated 15 years ago
- A GPU accelerated Mandelbrot viewer made using the new WebGPU API.☆10Oct 26, 2023Updated 2 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- Generative property testing for Jasmine☆11Dec 20, 2016Updated 9 years ago
- A slack release robot (built with meteor)☆11Apr 7, 2015Updated 10 years ago
- Exploring Audio Possibilities of WebGPU☆12Jan 31, 2024Updated 2 years ago
- Typeclasses in Typescript via prototype modification. Breaking best practices for fun and profit.☆13Nov 12, 2022Updated 3 years ago
- Gist API sample app☆11Jun 15, 2016Updated 9 years ago
- A Tessel-specific JavaScript driver for the TCS34725 RGB sensor☆10Oct 18, 2015Updated 10 years ago
- OpenTelemetry integration with Effect☆12Oct 10, 2023Updated 2 years ago
- Vite plugin to use Slang shaders on the web.☆27Dec 9, 2025Updated 2 months ago
- ☆15Nov 27, 2025Updated 2 months ago
- ☆12Nov 24, 2021Updated 4 years ago
- resilient location sharing☆14Sep 23, 2021Updated 4 years ago
- MuckRock User Service☆11Updated this week
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- A collection of stylus mixins for material design☆10Oct 20, 2018Updated 7 years ago
- Highly-configurable and modular arm32 operating system created from scratch☆13Jun 9, 2020Updated 5 years ago
- A small (~900B gzip), useful set of methods for lazy iteration of iterables.☆12Feb 7, 2026Updated last week
- Rewrite your HTML/JS/CSS (and sourceMap!) files with SHA-512 content hashes☆12Mar 5, 2023Updated 2 years ago