Quint
/// A state variable to store the balance of each account var balances: str -> int pure val ADDRESSES = Set("alice", "bob", "charlie") action withdraw(account, amount) = { // Decrement balance of account by amount // Whoops, we forgot to check for enough balance balances' = balances.setBy(account, curr => curr - amount) } // ... /// Invariant: Account balances should never be negative val no_negat
PLang - next evolution in programming languages
LLM as a compiler Achieves great productivity increase in development Heads up: Building code costs money Each code line incurs usually between $0.005 - $0.035 fee via LLM. The payoff? Exceptional efficiency gains. Early Adopters Note: PLang is at version 0.1. Be prepared for breaking changes and the presence of bugs. Get involved in our community on Discord or contribute by reporting issues on Gi
Melang
A script language of time-sharing scheduling coroutine in single thread View the Project on GitHub Water-Melon/Melang Melang Thank you for using Melang. Melang is a script language with these features below: basic programming structures time-sharing scheduling coroutine in single thread reflection injection reactive programming preprocess synchronous code asynchronous execution Now, let’s start ou
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
GitHub - berry-lang/berry: A ultra-lightweight embedded scripting language optimized for microcontrollers.
Berry is a ultra-lightweight dynamically typed embedded scripting language. It is designed for lower-performance embedded devices. The Berry interpreter-core's code size is less than 40KiB and can run on less than 4KiB heap (on ARM Cortex M4 CPU, Thumb ISA and ARMCC compiler). The interpreter of Berry include a one-pass compiler and register-based VM, all the code is written in ANSI C99. In Berry
buzz
import "std"; fun fibonacci(int n) > void *> int? { var n1 = 0; var n2 = 1; int? next = null; foreach (var _ in 0..n) { _ = yield n1; next = n1 + n2; n1 = n2; n2 = next!; } } fun main([str] args) > void { const N = if (args.len() > 0) std.parseInt(args[0]) ?? 10 else 10; foreach (var n in &fibonacci(N)) { std.print("{n}"); } }
GitHub - facebookincubator/cinder: Cinder is Meta's internal performance-oriented production version of CPython.
Short answer: no. We've made Cinder publicly available in order to facilitate conversation about potentially upstreaming some of this work to CPython and to reduce duplication of effort among people working on CPython performance. Cinder is not polished or documented for anyone else's use. We don't have the desire for it to become an alternative to CPython. Our goal in making this code available i
Raku Programming Language
The Raku Programming Language Hi, my name is Camelia. I'm the spokesbug for the Raku Programming Language. Raku has been developed by a team of dedicated and enthusiastic open source volunteers, and continues to be developed. You can help too. The only requirement is that you know how to be nice to all kinds of people (and butterflies). Go to #raku (irc.libera.chat) and someone will be glad to hel
GitHub - carbon-language/carbon-lang: Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Fast and works with C++ Performance matching C++ using LLVM, with low-level access to bits and addresses Interoperate with your existing C++ code, from inheritance to templates Fast and scalable builds that work with your existing C++ build systems Modern and evolving Solid language foundations that are easy to learn, especially if you have used C++ Easy, tool-based upgrades between Carbon version
GitHub - google/mangle
Mangle is a programming language for deductive database programming. It is an extension of Datalog, with various extensions like aggregation, function calls and optional type-checking. Deductive database programming is useful for bringing data from multiple data sources together since it enables us to represent and query that data in a uniform way. It can also be used to model domain knowledge, si
GitHub - endojs/Jessie: Tiny subset of JavaScript for ocap-safe universal mobile code
This document is an early draft. Comments appreciated! Thanks. Today, JavaScript is the pervasive representation for (somewhat) safe mobile code. For another representation to achieve universality quickly, it must be a subset of JavaScript, and so runs at least everywhere JavaScript runs. Whereas JSON is a simple universal representation for safe mobile data, Jessie is a simple universal represent
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - glebbash/LO: LO - small programming language targeting WASM that aims to be as simple as possible
GitHub - HigherOrderCO/Bend: A massively parallel, high-level programming language
GitHub - verus-lang/verus: Verified Rust for low-level systems code
GitHub - borgo-lang/borgo: Borgo is a statically typed language that compiles to Go.
GitHub - refaktor/rye: homoiconic dynamic programming language with some new ideas
GitHub - ambulancja/mariposa: A toy programming language with time travel
GitHub - expr-lang/expr: Expression language and expression evaluation for Go
GitHub - eth-sri/lmql: A language for constraint-guided and efficient LLM programming.
Mojo 🔥: Programming language for all of AI
