Repositories Users Organizations
Filter
Sort
AleoHQ/ leo
Rust 1 0
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
starred-repo compiler programming-language leo zero-knowledge zksnarks starred-aleohq-repo
Updated 2024-11-22 00:29:00 +03:00
ProvableHQ/ leo
Rust 1 0
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
starred-repo programming-language compiler leo zero-knowledge zksnarks starred-provablehq-repo
Updated 2024-11-22 00:29:00 +03:00
tweag/ nickel
Rust 1 0
Better configuration for less
starred-repo nix configuration configuration-language infrastructure nickel starred-tweag-repo
Updated 2024-11-22 00:07:23 +03:00
gleam-lang/ gleam
Rust 1 0
⭐️ A friendly language for building type-safe, scalable systems!
starred-repo compiler programming-language erlang gleam statically-typed starred-gleam-lang-repo
Updated 2024-11-21 14:31:33 +03:00
roc-lang/ roc
Rust 1 0
A fast, friendly, functional language. Work in progress!
starred-repo functional-programming language functional-language starred-roc-lang-repo
Updated 2024-11-21 12:26:37 +03:00
oxalica/ nil
Rust 1 0
Yet another language server for Nix
starred-repo nix nixos nixpkgs lsp-server starred-oxalica-repo
Updated 2024-11-20 01:04:23 +03:00
pemistahl/ lingua-rs
Rust 1 0
The most accurate natural language detection library for Rust, suitable for short text and mixed-language text
language-classification language-detection language-identification language-processing language-recognition natural-language-processing nlp nlp-machine-learning rust rust-crate rust-library starred-pemistahl-repo starred-repo
Updated 2024-11-19 18:20:45 +03:00
HigherOrderCO/ Bend
Rust 1 0
A massively parallel, high-level programming language
starred-repo starred-higherorderco-repo
Updated 2024-10-29 13:36:32 +03:00
guillaume-be/ rust-bert
Rust 1 0
Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)
starred-repo rust machine-learning deep-learning rust-lang gpt gpt-2 translation bart bert electra language-generation ner nlp question-answering roberta sentiment-analysis transformer starred-guillaume-be-repo
Updated 2024-09-29 17:12:54 +03:00
SilasMarvin/ lsp-ai
Rust 1 0
LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.
starred-repo self-hosted developer-tools ai ide llm openai lsp llama mistral auto-completion language-client llamacpp starred-silasmarvin-repo
Updated 2024-09-25 18:28:59 +03:00
liljencrantz/ crush
Rust 1 0
Crush is a command line shell that is also a powerful modern programming language.
starred-repo starred-liljencrantz-repo
Updated 2024-07-30 02:16:50 +03:00
BrianHicks/ nix-script
Rust 1 0
write scripts in compiled languages that run in the nix ecosystem, with no separate build step
starred-repo hacktoberfest starred-brianhicks-repo
Updated 2024-07-27 01:21:38 +03:00
nerdypepper/ statix
Rust 1 0
lints and suggestions for the nix programming language
starred-repo nix linter starred-nerdypepper-repo
Updated 2023-09-09 14:36:08 +03:00
oppiliappan/ statix
Rust 1 0
lints and suggestions for the nix programming language
linter nix starred-oppiliappan-repo starred-repo
Updated 2023-09-09 14:36:08 +03:00