sample language server for HelloFalks language
☆25May 27, 2024Updated 2 years ago
Alternatives and similar repositories for hellols
Users that are interested in hellols are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12May 14, 2023Updated 3 years ago
- Ragged writings on all things☆15Jan 24, 2022Updated 4 years ago
- ☆15Dec 20, 2021Updated 4 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- ☆15Aug 3, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Sanscript ported to Java☆10Feb 25, 2021Updated 5 years ago
- ☆14Jul 11, 2026Updated 2 weeks ago
- Use xcscope with helm!☆12Jan 10, 2015Updated 11 years ago
- LSP server implementation for Pascal☆34Jan 6, 2024Updated 2 years ago
- ☆16Mar 14, 2024Updated 2 years ago
- A Game Boy emulator written in Rust☆11Jul 28, 2019Updated 7 years ago
- ☆16Jun 20, 2022Updated 4 years ago
- To keep Ballerina VSCode plugin related issues, discussions, etc.☆46Updated this week
- 👾 An incomplete v8 bytecode interpreter / virtual machine for a subset of instructions☆22Jan 30, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- sockets for Lean 4☆23Jul 10, 2025Updated last year
- Auto-sizing TextareaSurface for famo.us☆15Jan 22, 2016Updated 10 years ago
- XPde 0.5.1 source code (2004-08-21) -- From http://www.xpde.warbricktech.com/☆11Dec 27, 2019Updated 6 years ago
- XCB windowing library wrapper☆11Jul 25, 2025Updated last year
- Examples, slides and code from Ian Barker's Fluent UI webinars☆14Feb 8, 2021Updated 5 years ago
- ☆32Jul 5, 2026Updated 3 weeks ago
- An open source CalDAV implementation for .NET and Mono, built on Data Abstract.☆12Oct 22, 2012Updated 13 years ago
- Gemini client with vim-like keybindings☆16May 26, 2026Updated 2 months ago
- 📉 fpga-accelerated high-freq trading modules☆32Jan 17, 2026Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- Famo.us view for performing ken-burns style zooming and panning☆19May 3, 2015Updated 11 years ago
- A WebAssembly implementation in Lean4☆46Dec 13, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Drop-in replacement for ImageSurface supporting AspectFit & AspectFill☆18Nov 16, 2018Updated 7 years ago
- Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344☆15Jul 3, 2026Updated 3 weeks ago
- PasTerm Terminal Emulator☆12May 1, 2026Updated 2 months ago
- A dark theme for GNUstep, using Rik icons.☆12Oct 6, 2021Updated 4 years ago
- Компилятор "СтранниК Модула-Си-Паскаль"☆15Jun 12, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Type Checking in Lean 4☆38Mar 22, 2026Updated 4 months ago
- Reusable Oberon-2 modules☆12Dec 24, 2025Updated 7 months ago
- Second generation of the HolonForth concept, now applied to general software development. Featuring code structured as books with Chapter…☆12Apr 22, 2018Updated 8 years ago
- This is the repo for Elixir, initiated in May 2022 in response to the Sri Lanka economic crisis and severe medicine shortages. The projec…☆15Jun 16, 2023Updated 3 years ago
- A clean, responsive PowerShell flavored MkDocs theme - forked from Cinder☆14May 28, 2016Updated 10 years ago
- Fast Gigantic Integers (FreePascal, Delphi)☆19Jan 7, 2019Updated 7 years ago
- Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"☆40Jul 6, 2026Updated 3 weeks ago