Run Rust files and expressions as scripts without any setup or compilation step. Overview News Installation Distro Packages Arch Linux Scripts Executable Scripts Expressions Filters Environment Variables Troubleshooting Overview With rust-script Rust files and expressions can be executed just like a shell or Python script. Features include: Caching compiled artifacts for speed. Reading Cargo manif
BLisp is a statically typed Lisp like programming language which adopts effect system for no_std environments. BLisp supports higher order RPC like higher order functions of functional programming languages.
はじめに この記事は Rust Advent Calendar 2020 12日目の記事です。 github.com Our mission is to improve the embedded Rust experience. To achieve this, we build and improve tools and create learning materials. knurling-rs は Ferrous Systems による組込み Rust の開発経験を向上するためのツールや教材を作成するプロジェクトです。 本記事では、knurling-rs で提供されているツールを紹介します。 ターゲットボードにはアプリケーションテンプレートの手順で説明されている nRF52840-DK を使います。 プロジェクト成果物一覧 (2020/12時点) 次の3つのツールが公開されています。
Theseus is a new OS written from scratch in Rust to experiment with novel OS structure, better state management, and how to leverage intralingual design principles to shift OS responsibilities like resource management into the compiler. For more info, check out Theseus's documentation or our published academic papers, which describe Theseus's design and implementation. Theseus is under active deve
κeenです。 Rustaceanのみなさんは普段書いてるRustのコードを検証するのに cargo check や cargo test などのツールを使っているかと思いますが、それらを強力にするツールの miri 、 MIRAI 、 kani をそれぞれ紹介します。 Rustにはいくつかコードの正しさや行儀のよさを検査する方法がありますね。 cargo check や cargo test 、 あるいはビルドしたバイナリを走らせて検証したり色々手を尽くしているでしょう。 ですがこれらだけだとあらゆる種類のバグを拾いきれる訳ではないのもみなさん承知の通りだと思います。 既存の方法だと手が回らない所があるので他のアプローチでコードを検証してくれるツールがあると嬉しいですよね。 そういったツールを3つ紹介します。 先に注意しておくと、これらのツールはまだ成熟しきってはおらず使いづらい点、使い
なぜ、Rustなのか?
rerun.ioより。 BY エミール・アーナーフェルト 私は20年以上プログラマとして働いてきましたが、Rustほど私を興奮させたものはありません。私のバックグラウンドは主にC++ですが、PythonやLuaでも仕事をしたことがあり、さらに多くの言語に手を出してきました。2014年頃からRustを書き始め、2018年からはフルタイムで Rustを書いています。余暇には、人気のあるRust GUIクレートeguiを開発しました。 今年の初めにRerunを共同設立したとき、言語の選択は明らかでした。 Rerunでは、コンピュータビジョンやロボティクスのための視覚化ツールを作っています。そのためには、高速で並列化が容易な言語が必要です。デスクトップで実行する場合、ネイティブの速度が必要ですが、Web上で視覚化したり、Jupyter NotebookやIDEでインライン表示したりすることも考えて
Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs. Formal verification of system software is notoriously difficult and requires complex specifications and logics (such as separation logic) to reason about pointers, aliasing, and side effects on mutable state
ゲームボーイエミュレーター、ゲームボーイアドバンスエミュレーターに続いて、Rustでファミコンエミュレーター"Sabicom"とスーパーファミコンエミュレーター"Super Sabicom"を書きました。 名前にRustっぽさを出してみました。 前回作ったマルチエミュレーターMERUのコアとして実装したので、ステートセーブや巻き戻しなどの機能も使えます。MERUの対応コアはこれで4つになりました。 こちらからWindowsとLinuxのプリコンパイルバイナリがダウンロードできるようになっています。 他のプラットフォームおよびソースコードからコンパイルする場合は ファミコンとスーパーファミコンどちらも一通り本体の機能は実装してあるつもりです。スーパーファミコンは割と細かいところまでちゃんと動くようにしてあるはずなので、動かなかったり表示がおかしかったりするソフトがあればバグですので、ぜひご報
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
