Search: github.com/languages | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

Show HN: Bolt: A research language with finer-grained concurrency than Rust (github.com/mukul-rathi)

103 points

6 years ago

782.

Mangle – a language for deductive database programming (github.com/google)

103 points

10 months ago

783.

Formality – An efficient programming language and proof assistant (github.com/maiavictor)

102 points

8 years ago

784.

Show HN: ArkScript, a small and fast language for scripting video games (github.com/ArkScript-lang)

101 points

6 years ago

785.

Sxc – An s-expression based language source transpiler for C (github.com/burtonsamograd)

101 points

9 years ago

786.

Waxolotl – A small language that compiles to WebAssembly text format (github.com/eliot-akira)

101 points

2 years ago

787.

Koka: A Functional Language with Effects (github.com/koka-lang)

101 points

5 years ago

788.

Rust language bindings for TensorFlow (github.com/google)

101 points

10 years ago

789.

The State of the Octoverse: top programming languages of 2018 (blog.github.com)

100 points

8 years ago

790.

Thinking in an array language (2022) (github.com/razetime)

100 points

17 days ago

791.

Show HN: Bon – programming language designed for simplicity, performance, safety (github.com/FBMachine)

99 points

7 years ago

792.

LispKit: framework for Lisp-based extension/scripting languages for macOS apps (github.com/objecthub)

99 points

8 years ago

793.

A Language Server for Postgres (github.com/supabase-community)

99 points

a year ago

794.

Reflow, a language for distributed, incremental data processing in the cloud (github.com/grailbio)

99 points

5 years ago

795.

Show HN: W++ – A Python-style scripting language for .NET with NuGet support (github.com/sinisterMage)

98 points

a year ago

796.

Catala: a programming language for socio-fiscal legislative literate programming (github.com/CatalaLang)

98 points

6 years ago

797.

Gosubc – An implementation of the SubC language in Go (github.com/qeedquan)

98 points

10 years ago

798.

Silice: A language for hardcoding Algorithms into FPGA hardware (github.com/sylefeb)

98 points

5 years ago

799.

Multilspy: Building a common LSP client handtuned for all Language servers (github.com/microsoft)

98 points

LakshyAAAgrawal

a year ago

800.

Treating JavaScript like a 30 year old language (jeremyckahn.github.com)

97 points

14 years ago

801.

C++ Language Interface Foundation (CLIF) (github.com/google)

97 points

9 years ago

802.

Show HN: A multi-syntax programming language with bidirectional grammars (github.com/alehander42)

96 points

10 years ago

803.

R3forth: A concatenative language derived from ColorForth (github.com/phreda4)

96 points

4 months ago

804.

Parallel ray tracing benchmark for functional programming languages (github.com/athas)

96 points

6 years ago

805.

Red: A programming language inspired by REBOL (github.com/red)

95 points

9 months ago

806.

Major mode for editing SEML (S-Expression Markup Language) files (github.com/conao3)

95 points

7 years ago

807.

Lemon – An embeddable, lightweight programming language in ANSI C (github.com/lemon-lang)

94 points

9 years ago

808.

Nvidia Tilus: A Tile-Level GPU Kernel Programming Language (github.com/NVIDIA)

94 points

10 months ago

809.

Show HN: Build your own programming language in C++ (github.com/codr7)

94 points

5 years ago

810.

OpenChat: Advancing open-source language models with imperfect data (github.com/imoneoi)

94 points

3 years ago