GitHub 中文社区
回车: Github搜索    Shift+回车: Google搜索
论坛
排行榜
趋势
登录

©2025 GitHub中文社区论坛GitHub官网网站地图GitHub官方翻译

  • X iconGitHub on X
  • Facebook iconGitHub on Facebook
  • Linkedin iconGitHub on LinkedIn
  • YouTube iconGitHub on YouTube
  • Twitch iconGitHub on Twitch
  • TikTok iconGitHub on TikTok
  • GitHub markGitHub’s organization on GitHub
集合主题趋势排行榜
#

systems-language

Website
Wikipedia
https://static.github-zh.com/github_avatars/jfecher?size=40
jfecher / ante

Ante 是一门面向底层的函数式编程语言

编译器languagesystems-languagerefinement-typesLLVMante
Rust 2.07 k
15 天前
https://static.github-zh.com/github_avatars/pikelet-lang?size=40
pikelet-lang / pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

dependent-typestypecheckertype-theory编程语言type-systemRustsystems-languagesystems-programming编译器
Rust 620
4 年前
https://static.github-zh.com/github_avatars/jondgoodwin?size=40
jondgoodwin / cone

Cone Programming Language

编程语言编译器web3dWebAssemblymemory-managementconcurrencytype-safetysystems-language
C 543
3 年前
https://static.github-zh.com/github_avatars/eashanhatti?size=40
eashanhatti / peridot

A fast functional language based on two level type theory

dependent-typessystems-language编程语言type-theoryHaskell
Haskell 391
2 年前
https://static.github-zh.com/github_avatars/Lartu?size=40
Lartu / ldpl

COBOL-like programming language that compiles to C++. With serious dinosaurs with neckties and briefcases 🦕💼

编程语言编译器cobolcompileddinosaurimperative-programming-languagerobustrobustnessstaticsystems-languagesystems-programmingtyped
C++ 172
7 个月前
https://static.github-zh.com/github_avatars/emillaine?size=40
emillaine / cx

C* is a hybrid low-level/high-level systems programming language focused on performance and productivity.

编程语言编译器systems-languagelanguagenativehigh-performancesystem-programmingperformancefast
C++ 133
5 天前
https://static.github-zh.com/github_avatars/scrossuk?size=40
scrossuk / locic

Compiler and tools for the Loci programming language.

编程语言systems-language
C++ 116
6 年前
https://static.github-zh.com/github_avatars/jazz-lang?size=40
jazz-lang / Jazz

Jazz - modern and fast programming language.

编程语言jazzsystems-language编译器LLVMcompile-time
Rust 92
3 年前
https://static.github-zh.com/github_avatars/strega-nil?size=40
strega-nil / cafe-rs

café, a systems language

编程语言dependent-typesaffinesystems-language
Rust 19
7 年前
https://static.github-zh.com/github_avatars/noitlang?size=40
noitlang / noit

Concurrency-oriented functional programming language that compiles to C. Still in very early development 🚧

C编译器functional函数式编程recursionstatic-typingsystems-languagesystems-programming
4
1 年前
https://static.github-zh.com/github_avatars/TheRustifyer?size=40
TheRustifyer / hacker_game

Commnad line game. You're a secret agent and do maths for hack... HAVE FUN!

systems-language命令行界面函数式编程C++
C++ 4
4 年前
https://static.github-zh.com/github_avatars/TheSwanFactory?size=40
TheSwanFactory / hclang

Homoiconic C - a universal data format for computation

HTMLmarkup-languagemaml编程语言systems-language
HTML 4
3 个月前