Modular: A Fast, Scalable Gen AI Inference Platform
from openai import OpenAI client = OpenAI( base_url="http://localhost:8000/v1", api_key="EMPTY", ) completion = client.chat.completions.create( model="google/gemma-3-27b-it", messages=[ { "role": "user", "content": "Who won the world series in 2020?" }, ], ) print(completion.choices[0].message.content) # total file size - 500MB. This docker container deploys across GPUs and CPUs, all without vendo
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. package main import "core:fmt" main :: proc() { program := "+ + * 😃 - /" accumulator := 0 for toke
pldb.com
$210/month for the first 12 months$252/month for the next 12 months$294/month for the next 12 months$336/month for the next 12 months$378/month for the next 12 months5% annual increase onward
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
The Alan Programming Language
GPGPU for the Rest of Us Alan includes a set of types representing GPU data and a set of GPU functions to work with these types reducing the barrier to entry for general purpose GPU compute. Most Runtime Errors Impossible Alan is a statically-typed language founded on the Curry-Howard correspondence used in other solid type systems like Rust or Haskell, but inferred outside of function arguments s
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! = |args| Stdout.line!("Hello!") You can use Roc to crea
メンテナンス
ランã‚ング
ãŠçŸ¥ã‚‰ã›
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
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
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 ʕ◔ϖ◔ʔ.
{{#tags}}- {{label}}
{{/tags}}