Modular: A Fast, Scalable Gen AI Inference Platform
MAX 25.2: Unleash the power of your H200's without CUDA!
Pharo - Welcome to Pharo!
A glimpse of Pharo$ wget -O- https://get.pharo.org/64 | bash $ ./pharo Pharo.image eval "42 factorial"TeaserSimple & powerful language: No constructors, no types declaration, no interfaces, no primitive types. Yet a powerful and elegant language with a full syntax fitting in one postcard! Pharo is objects and messages all the way down.Live, immersive environment: Immediate feedback at any moment o
The Austral Programming Language
The Austral Programming Language Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity. See: Features and anti-features What are linear types? Specification Tutorial Example programs Source on GitHub
GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language
Dafny is a verification-ready programming language. As you type in your program, Dafny's verifier constantly looks over your shoulder, flags any errors, shows you counterexamples, and congratulates you when your code matches your specifications. When you're done, Dafny can compile your code to C#, Go, Python, Java, or JavaScript (more to come!), so it can integrate with your existing workflow. Daf
GitHub - Naotonosato/Clawn: The Clawn Programming Language
Clawn is a programming language developed with the goal of making it easy to write high-quality, safe programs. Currently, Clawn has the following features Simple syntax Statically typing Higher rank polymorphism Safe "any" elegant C FFI Automatic memory management (WIP) I value a gentle learning curve, and Clawn is designed to be easy to learn. For example, Clawn's function definitions have no ty
Odin Programming Language
Odin Programming LanguageThe Data-Oriented Language for Sane Software Development. Programming Done RightOdin is a general-purpose programming language with distinct typing built for high performance, modern systems and data-oriented programming. Odin is the C alternative for the Joy of Programming. Read the Docs See the Full Demo See More Examples package main import "core:fmt" main :: proc() { p
jank programming language - Clojure/LLVM/C++
The jank programming language jank is a general-purpose programming language which embraces the interactive, value-oriented nature of Clojure as well as the desire for native compilation and minimal runtimes. jank is strongly compatible with Clojure and considers itself a dialect of Clojure. Please note that jank is under heavy development; assume all features are planned or incomplete. Where jank
Alan Language - Alan Language
Predictable runtime for all computations A program is represented as DAG(s) where the running time for all computations can be predicted because there is no unbounded recursion or iteration. Automatic concurrency and parallelism Alan exploits opportunities for IO concurrency or CPU parallelization across machines in a cluster via arrays and a static event loop without threads, channels, promises,
Ante
For exploring algebraic effects, safe shared mutability, and other novel features Ante is currently in active development and the compiler is in a very early state. In addition, the features listed on this website detail the language itself rather than the subset that is implemented by the current compiler. If you are interested to see which features are implemented, please look at the github page
静的型付きスクリプト言語 Cotowali
この記事は未踏2021採択者アドカレ！ の 23 日目の記事です。 Cotowali について Cotowali は、2021年度未踏に「シェルスクリプトへのコンパイルを行う静的型付けスクリプト言語の開発」のテーマで採択され、現在開発中のスクリプト言語です[1] Cotowali コンパイラは V言語で記述されています。Ｖコミュニティ公式ではないプロジェクトとしては規模が大きく、V言語コンパイラのバグ発見にも貢献しています[2]。 コンセプト POSIX 準拠シェルスクリプトへのトランスパイル シェルスクリプトの機能を取り入れながらも、一般的な言語に近く理解しやすい文法 シンプルな静的型付け ちなみに、Cotowali はあくまでシェルスクリプトをバックエンドに使う新規のスクリプト言語であり、シェルスクリプトに型をつけるものではありません。 静的型付けではありますが、型システムはごく簡易な
The Roc Programming Language
Examples Roc is a young language. It doesn't even have a numbered release yet, just nightly builds! However, it can already be used for several things if you're up for being an early adopter— with all the bugs and missing features which come with that territory. Here are some examples of how it can be used today. Command-Line Interfaces main = Stdout.line! "Hello!" You can use Roc to create script
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
デジタルをわかりやすく - catch.jp blog
GitHub - marvinborner/bruijn: :abacus: Programming with pure lambda calculus
bruijn programming language
マルチリンガルな教育用プログラミング言語「Hedy」を触ってみた【40言語以上対応】 - Qiita
GitHub - SerenityOS/jakt: The Jakt Programming Language
pldb.com
GitHub - roc-lang/roc: A fast, friendly, functional language.
GitHub - learn-anything/programming-languages: Awesome Programming Languages
GitHub - Tsharp-lang/Tsharp: 🦕 Stack-oriented, interpreted, dynamic typed, general-purpose programming language written in Go ʕ◔ϖ◔ʔ.