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
- Place for editing the data backing ashtadhyayi.com☆13Oct 5, 2026Updated last week
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Sanscript ported to Java☆10Feb 25, 2021Updated 5 years ago
- ☆14Oct 9, 2026Updated last week
- LSP server implementation for Pascal☆34Jan 6, 2024Updated 2 years ago
- Make/Encode some basic logic puzzles☆22Jul 10, 2024Updated 2 years ago
- Modified from spacemacs-light☆13Jan 2, 2018Updated 8 years ago
- To keep Ballerina VSCode plugin related issues, discussions, etc.☆49Updated this week
- ☆16Jun 20, 2022Updated 4 years ago
- Batteries-included MVC framework for Tui-rs + Crossterm apps☆14May 2, 2021Updated 5 years ago
- 👾 An incomplete v8 bytecode interpreter / virtual machine for a subset of instructions☆23Jan 30, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A nvim plugin which searches a file and runs a command on it☆18Oct 24, 2022Updated 3 years ago
- sockets for Lean 4☆23Jul 10, 2025Updated last year
- ☆18Feb 4, 2025Updated last year
- ☆32Aug 26, 2026Updated last month
- ☆15Oct 9, 2023Updated 3 years ago
- 📉 fpga-accelerated high-freq trading modules☆32Jan 17, 2026Updated 9 months ago
- [Releases] Thaumcraft Addon for those that still crave more content☆13Updated this week
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆12Jun 19, 2022Updated 4 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.
- A simple encrypted terminal jounaling book.☆17Nov 13, 2024Updated last year
- An unofficial Emacs Lisp Package Archive for EmacsWiki☆16Apr 14, 2018Updated 8 years ago
- A command line Oberon system targeting a virtual CPU☆10Updated this week
- Easily parse, normalize and display simple λ-Calculus expressions.☆11Jun 29, 2026Updated 3 months ago
- Quicksort Algorithm implemented using the AVX2 instruction set☆10Mar 25, 2025Updated last year
- A WebAssembly implementation in Lean4☆48Dec 13, 2023Updated 2 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
- Ada language support for Zed☆13Nov 17, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Lean 4 port of Megaparsec☆37Jan 11, 2024Updated 2 years ago
- ☆13Apr 27, 2025Updated last year
- ☆19Apr 5, 2026Updated 6 months ago
- Telescope git conflicts picker.☆16Jan 14, 2024Updated 2 years ago
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated 2 years ago
- Type Checking in Lean 4☆41Mar 22, 2026Updated 6 months ago