NipunaMarcus/hellols external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

NipunaMarcus/hellols

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/NipunaMarcus/hellols)

Close

NipunaMarcus / hellolsView on GitHubMore

• External links
• Readme badge

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.

• sinhp / ProofLab

  View on GitHub
  ☆12May 14, 2023Updated 3 years ago
• ashtadhyayi-com / data-edit

  View on GitHub
  Place for editing the data backing ashtadhyayi.com
  ☆13Updated this week
• sirlensalot / tatterdemalion

  View on GitHub
  Ragged writings on all things
  ☆15Jan 24, 2022Updated 4 years ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated last year
• indic-transliteration / sanscript.java

  View on GitHub
  Sanscript ported to Java
  ☆10Feb 25, 2021Updated 5 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• Isopod / pascal-language-server

  View on GitHub
  LSP server implementation for Pascal
  ☆34Jan 6, 2024Updated 2 years ago
• david-christiansen / bob24

  View on GitHub
  ☆16Mar 14, 2024Updated 2 years ago
• Trequetrum / lean4game-logic

  View on GitHub
  Make/Encode some basic logic puzzles
  ☆21Jul 10, 2024Updated 2 years ago
• mrded / nvim-zond

  View on GitHub
  A nvim plugin which searches a file and runs a command on it
  ☆18Oct 24, 2022Updated 3 years ago
• ballerina-platform / ballerina-vscode

  View on GitHub
  To keep Ballerina VSCode plugin related issues, discussions, etc.
  ☆49Updated this week
• arthurpaulino / FxyLang

  View on GitHub
  ☆16Jun 20, 2022Updated 4 years ago
• jkelleyrtp / tui-builder

  View on GitHub
  Batteries-included MVC framework for Tui-rs + Crossterm apps
  ☆14May 2, 2021Updated 5 years ago
• hargoniX / socket.lean

  View on GitHub
  sockets for Lean 4
  ☆23Jul 10, 2025Updated last year
• pontusk / cmp-vimwiki-tags

  View on GitHub
  Nvim-cmp source for Vimwiki tags
  ☆12Apr 25, 2022Updated 4 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• thutt / oberon

  View on GitHub
  A command line Oberon system targeting a virtual CPU
  ☆10Updated this week
• Danct12 / xpde

  View on GitHub
  XPde 0.5.1 source code (2004-08-21) -- From http://www.xpde.warbricktech.com/
  ☆11Dec 27, 2019Updated 6 years ago
• codecrafters-io / sqlite-starter-rust

  View on GitHub
  ☆15Oct 9, 2023Updated 2 years ago
• JuliaGL / XCB.jl

  View on GitHub
  XCB windowing library wrapper
  ☆11Jul 25, 2025Updated last year
• checkdigits / fancy_ui

  View on GitHub
  Examples, slides and code from Ian Barker's Fluent UI webinars
  ☆14Feb 8, 2021Updated 5 years ago
• NorfairKing / ical

  View on GitHub
  ☆32Aug 26, 2026Updated last month
• remobjects / calendar

  View on GitHub
  An open source CalDAV implementation for .NET and Mono, built on Data Abstract.
  ☆12Oct 22, 2012Updated 13 years ago
• RealMelkor / Vgmi

  View on GitHub
  Gemini client with vim-like keybindings
  ☆16Updated this week
• raquentin / punt-engine

  View on GitHub
  📉 fpga-accelerated high-freq trading modules
  ☆32Jan 17, 2026Updated 8 months ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• kiedtl / tuor

  View on GitHub
  A Gemini client for Varvara, written in Finwë.
  ☆10Sep 21, 2024Updated 2 years ago
• argumentcomputer / Wasm.lean

  View on GitHub
  A WebAssembly implementation in Lean4
  ☆48Dec 13, 2023Updated 2 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• stcarrez / ada-asf

  View on GitHub
  Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344
  ☆15Jul 3, 2026Updated 2 months ago
• argumentcomputer / Megaparsec.lean

  View on GitHub
  Lean 4 port of Megaparsec
  ☆37Jan 11, 2024Updated 2 years ago
• BeRo1985 / pasterm

  View on GitHub
  PasTerm Terminal Emulator
  ☆12May 1, 2026Updated 4 months ago
• glynawe / awe

  View on GitHub
  A compiler for the Algol W programming language.
  ☆18Jun 11, 2026Updated 3 months ago
• Snikimonkd / telescope-git-conflicts.nvim

  View on GitHub
  Telescope git conflicts picker.
  ☆16Jan 14, 2024Updated 2 years ago
• askfind / strannik

  View on GitHub
  Компилятор "СтранниК Модула-Си-Паскаль"
  ☆15Jun 12, 2016Updated 10 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ammkrn / type_checking_in_lean4

  View on GitHub
  Type Checking in Lean 4
  ☆41Mar 22, 2026Updated 6 months ago
• LSFLK-Archive / MedicinesforLK

  View on GitHub
  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
• sgreenhill / aria

  View on GitHub
  Reusable Oberon-2 modules
  ☆12Dec 24, 2025Updated 9 months ago
• wejgaard / Holonforth-GUI

  View on GitHub
  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
• ibhagwan / ts-vimdoc.nvim

  View on GitHub
  ☆18Apr 5, 2026Updated 5 months ago
• justinsgithub / oh-my-monokai.nvim

  View on GitHub
  obnoxious neovim theme based on Monokai
  ☆15May 22, 2023Updated 3 years ago
• michaeltlombardi / mkdocs-psinder

  View on GitHub
  A clean, responsive PowerShell flavored MkDocs theme - forked from Cinder
  ☆14May 28, 2016Updated 10 years ago