Et9797 / helios-language-serverView external linksLinks
Language server for Helios, a Cardano smart contract language.
☆11Sep 14, 2024Updated last year
Alternatives and similar repositories for helios-language-server
Users that are interested in helios-language-server are comparing it to the libraries listed below
Sorting:
- Plugin for Cura slicer☆10Feb 1, 2023Updated 3 years ago
- create repository☆13Nov 1, 2023Updated 2 years ago
- ☆14Jan 22, 2026Updated 3 weeks ago
- ☆10Jan 18, 2023Updated 3 years ago
- Simple Quiz web app build with Spring☆10Jun 14, 2024Updated last year
- MacOS Development Setup Environment - ZSH, Homebrew, Git, OSX☆10Dec 26, 2025Updated last month
- мод по вселенной сталкера☆11Oct 26, 2023Updated 2 years ago
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆12Oct 21, 2024Updated last year
- twrp for sony xperia mark 3 series (WARNING: AMEND PUSHED A LOT)☆12Jan 24, 2023Updated 3 years ago
- UI component of Wise2C Breeze project☆11Jun 13, 2025Updated 8 months ago
- The best AES cipher built upon tiny-aes-c. Replace tiny-aes-c code blocks with something else if you want to run it on enterprise servers…☆11Mar 29, 2025Updated 10 months ago
- A package for verifying Google reCaptcha v3 responses in Go☆30May 20, 2019Updated 6 years ago
- ☆12Nov 19, 2024Updated last year
- Easy Elliptic Curve Cryptography on multiple curves, written in Go.☆14Oct 19, 2023Updated 2 years ago
- Go bindings for the Brotli compression library (fork of kothar/brotli-go)☆11Jul 2, 2019Updated 6 years ago
- SecretsFoundry is a package to automatically fetch your environment variables from different sources and secret managers. It makes config…☆14Jun 18, 2024Updated last year
- Code Repository for Unity C# Scripting : Complete C# For Unity Game Development, published by Packt☆14Jun 3, 2025Updated 8 months ago
- FSM (Finite State Machine) tools for Verilog HDL.☆13Dec 19, 2022Updated 3 years ago
- This tool aims at parsing Microsoft Protection logs to provide relevant data to forensic analysts during incident responses.☆21Sep 30, 2022Updated 3 years ago
- ☆12Aug 25, 2025Updated 5 months ago
- Common tree for Xiaomi sm8350 devices☆10Apr 29, 2024Updated last year
- `ecslog` CLI to pretty-print and filter log files in ecs-logging format☆12Feb 10, 2022Updated 4 years ago
- A simple plugin to make working with the angular router in storybook easier ✨☆11Oct 21, 2024Updated last year
- web based tor proxy☆12Feb 6, 2026Updated last week
- Converts python files to starlark (or Larky) compatible scripts.☆14Apr 30, 2022Updated 3 years ago
- Protocol buffers definition for TuiHub, import as a library rather than a directory☆11Feb 8, 2026Updated last week
- Fuzzing Lua runtimes without pain☆11Updated this week
- Terraform module which creates Compute resources on Yandex Cloud☆12Jan 28, 2023Updated 3 years ago
- Parallel implementation of Smith–Waterman using OpenMP☆10Oct 28, 2020Updated 5 years ago
- Front end of academic achievement sharing platform, implemented in Vue.☆10Dec 28, 2021Updated 4 years ago
- ☆15Dec 6, 2022Updated 3 years ago
- ✨ Go-Enums with Magic ✨☆13Mar 31, 2024Updated last year
- Plugin Jeedom/NextDom permettant la gestion de la Téléinfo☆12Mar 17, 2024Updated last year
- Kong open-source UI components and associated packages☆17Feb 7, 2026Updated last week
- ☆10Nov 8, 2022Updated 3 years ago
- An SD upscale script made to work with an inpainting model. Supports tiling.☆11Mar 13, 2023Updated 2 years ago
- Dynamic dns plugin for Caddy server (on this moment support cloudflare, yandex and dnspod)☆13Jul 18, 2019Updated 6 years ago
- Examples of Jupiter.☆14Oct 18, 2023Updated 2 years ago
- Repositório para versionar Laboratório e Scripts importantes do curso de DevSecOps☆11Jan 6, 2025Updated last year