Search: github.com/mlang | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Wasp: A declarative domain-specific language that understands what a web app is (github.com/wasp-lang)

1 point

3 years ago

812.

Show HN: AI generated conversation starters in Slack (github.com/MrKevinOConnell)

1 point

3 years ago

813.

Noether: Symmetry in Programming Language Design (2014) [pdf] (github.com/noether-lang)

1 point

4 years ago

814.

Rust tracking issue for bugs fixed by the MIR borrow checker or NLL (github.com/rust-lang)

1 point

4 years ago

815.

Small exercises to get you used to reading and writing Rust code (github.com/rust-lang)

1 point

4 years ago

816.

Alda – text-based programming language for music composition (github.com/alda-lang)

1 point

4 years ago

817.

A statically typed functional programming language that supercharges Common Lisp (github.com/coalton-lang)

1 point

4 years ago

818.

Rust Governance Update from April (github.com/rust-lang)

1 point

4 years ago

819.

An Implementation of Interaction Nets in JavaScript (github.com/cicada-lang)

1 point

4 years ago

820.

Dart: Patterns Feature Specification (in progress proposal) (github.com/dart-lang)

1 point

4 years ago

821.

The Rust Toolchain Installer (github.com/rust-lang)

1 point

4 years ago

822.

Bluespec hardware design language and simulation tools (github.com/B-Lang-org)

1 point

4 years ago

823.

Rust RFC for increase privacy/reproducibility (github.com/rust-lang)

1 point

5 years ago

824.

Mech: Language for developing data-driven, reactive systems in Rust (github.com/mech-lang)

1 point

5 years ago

825.

Hardware performance counter support [for the rustc self-profiler] (github.com/rust-lang)

1 point

6 years ago

826.

Janet 1.12.2 Released (github.com/janet-lang)

1 point

6 years ago

827.

Langcraft: The LLVM target for Minecraft you've never wanted (github.com/SuperTails)

1 point

6 years ago

828.

Nim for Python Programmers (github.com/nim-lang)

1 point

6 years ago

829.

Not entirely sure what this is describing (github.com/rust-lang)

1 point

6 years ago

830.

Idris2 is now implemented in Idris2 (github.com/idris-lang)

1 point

6 years ago

831.

Janet 1.9.0 Released (github.com/janet-lang)

1 point

6 years ago

832.

Rust's “Weird-Exprs” Test (github.com/rust-lang)

1 point

6 years ago

833.

Sequent-Calculus (github.com/Shen-Language)

1 point

6 years ago

834.

Elena Programming Manual (github.com/ELENA-LANG)

1 point

7 years ago

835.

Require documentation for all new features (github.com/rust-lang)

1 point

7 years ago

836.

Rustc: Demand-Driven Compilation (github.com/rust-lang)

1 point

7 years ago

837.

Multithreading in Crystal (github.com/crystal-lang)

1 point

7 years ago

838.

Remote Language Server Proposal (github.com/Microsoft)

1 point

7 years ago

839.

Stabilizing async / await (github.com/rust-lang)

1 point

7 years ago

840.

Alta – A Modern Alternative to C++ (github.com/alta-lang)

1 point

7 years ago