Repositories Users Organizations
Filter
Sort
tweag/ nickel
Rust 1 0
Better configuration for less
starred-repo nix configuration configuration-language infrastructure nickel starred-tweag-repo
Updated 2024-10-03 20:25:03 +03:00
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-10-02 18:11:25 +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-10-02 18:11:25 +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-10-02 17:17:16 +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-10-02 14:02:17 +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
HigherOrderCO/ Bend
Rust 1 0
A massively parallel, high-level programming language
starred-repo starred-higherorderco-repo
Updated 2024-09-27 14:58:02 +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
oxalica/ nil
Rust 1 0
Yet another language server for Nix
starred-repo nix nixos nixpkgs lsp-server starred-oxalica-repo
Updated 2024-09-19 06:25:30 +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