howistart / howistart.org
HowIStart.org Hugo Site
☆27Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for howistart.org
- Plot Cookbook☆50Updated last year
- ☆18Updated 4 years ago
- Podjeli is file sharing on your terms, encode your file into URLs. SPA written in JavaScript with JQuery.☆17Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Privacy focused website analytics.☆36Updated 3 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Omnino is a windowing system for web applications.☆56Updated 11 months ago
- The Coil Programming Language☆34Updated 7 months ago
- Run erlang as a WASI http server (vapourware)☆26Updated last month
- Scripting language for testing JSON-based HTTP APIs☆45Updated 3 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A Fun Frontend Language☆16Updated last year
- ReasonML code to construct an NFA from a regular expression☆23Updated 5 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- Create websites using any mix of programming languages or workflows 💎☆78Updated 3 years ago
- Simple Rust implementation of Conway's Game of Life☆64Updated 2 years ago
- The Unix way to keep a personal journal☆16Updated 3 years ago
- Basic schema inference for arbitrary JavaScript data objects☆34Updated 2 years ago
- Write and render mind-maps in Racket☆20Updated 4 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- A Prolog library to connect to PostgreSQL databases☆90Updated 6 months ago
- ☆14Updated 5 years ago
- optimize your home bar with ✨logic programming✨☆75Updated 2 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- Zsh solutions to Advent of Code 2019 puzzles☆23Updated 3 years ago
- A web development toolkit for Racket.☆137Updated 2 weeks ago
- A description of the relationship between databases, collaboration and Kripke☆27Updated 3 years ago
- ☆13Updated 3 years ago
- The SPAIK LISP Programming Language☆40Updated 3 months ago