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:
- Source code for ISSTA'24 paper "AI Coders Are Among Us: Rethinking Programming Language Grammar Towards Efficient Code Generation"☆12Oct 21, 2024Updated last year
- common javascript image routines☆11Oct 10, 2019Updated 6 years ago
- A package for verifying Google reCaptcha v3 responses in Go☆30May 20, 2019Updated 6 years ago
- ☆12Aug 25, 2025Updated 6 months ago
- Go bindings for the Brotli compression library (fork of kothar/brotli-go)☆11Jul 2, 2019Updated 6 years ago
- Easy Elliptic Curve Cryptography on multiple curves, written in Go.☆14Oct 19, 2023Updated 2 years 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 11 months 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
- afl源码分析☆13Aug 9, 2018Updated 7 years ago
- Converts python files to starlark (or Larky) compatible scripts.☆14Apr 30, 2022Updated 3 years ago
- Fuzzing Lua runtimes without pain☆11Feb 25, 2026Updated last week
- Generate test data for Redis in C☆25Jan 29, 2021Updated 5 years ago
- Pseudo-3D first-person shooter written in AWK☆11Dec 20, 2024Updated last year
- Parallel implementation of Smith–Waterman using OpenMP☆10Oct 28, 2020Updated 5 years ago
- `ecslog` CLI to pretty-print and filter log files in ecs-logging format☆12Feb 10, 2022Updated 4 years ago
- ✨ Go-Enums with Magic ✨☆13Mar 31, 2024Updated last year
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated last week
- Parser for systemd journal files.☆15Sep 2, 2025Updated 6 months ago
- Dynamic dns plugin for Caddy server (on this moment support cloudflare, yandex and dnspod)☆13Jul 18, 2019Updated 6 years ago
- ✅ Go package for validating JSON. It's the first Go package that can generate JSON Schema (OpeanAPI-compatible), produces user-friendly e…☆19Nov 20, 2025Updated 3 months ago
- Web remote control, written in Go☆12Nov 2, 2023Updated 2 years ago
- ☆12May 9, 2020Updated 5 years ago
- A tab registry library for use in chrome plugins.☆11Jan 28, 2013Updated 13 years ago
- A terminal-based music player☆13Jan 22, 2021Updated 5 years ago
- ☆14Apr 6, 2023Updated 2 years ago
- 编译原理的语法分析器,主要是LL(1)和LR两种语法分析器☆13Sep 7, 2020Updated 5 years ago
- http module for starlark-go☆17Sep 27, 2020Updated 5 years ago
- A fuzzer setup to fuzz libc functions.☆16Aug 30, 2022Updated 3 years ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆18Updated this week
- ☆17Mar 30, 2022Updated 3 years ago
- 支持 kitex <-> dubbo 互通的 dubbo 协议编解码器。☆16Jun 11, 2024Updated last year
- dstll gives you a high level overview of various constructs in your code☆18Updated this week
- Build Docker images for unibench☆16Jan 1, 2021Updated 5 years ago
- Phonetic encoders - bmpm, caverphone, soundex, metaphone☆20Aug 1, 2023Updated 2 years ago
- Automatically generate *.ics files for classes☆15Oct 12, 2023Updated 2 years ago
- Convert (almost) anything(YAML, TOML, CSV, and EXCEL) to JSON☆18May 5, 2023Updated 2 years ago
- Demonstrate gRPC examples in 12 programming languages.☆19Updated this week
- ☆38Oct 28, 2025Updated 4 months ago
- Java runtime dynamic tracing☆20Jun 10, 2021Updated 4 years ago