Useful lesser-used languages?

• Oberon

  76 423 7.4 C++

  Oberon parser, code model & browser, compiler and IDE with debugger

Oberon? see https://github.com/rochus-keller/Oberon/

• Nim

  346 16,060 9.9 Nim

  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  

Nim. Very versatile language.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• TablaM

  151 183 0.0 Rust

  The practical relational programing language for data-oriented applications

  

Working in a revival, but long shoot without resources!

• roast

  64 177 8.3 Raku

  🦋 Raku test suite

  

I use Raku frequently for complex text processing and general scripting

• lean4

  53 3,739 9.9 Lean

  Lean 4 programming language and theorem prover

  

Lean (https://leanprover.github.io). It's a great distillation of a lot of the current thinking about types, pattern matching, various other functional programming concepts. It calls itself "theorem prover" but it is also a general purpose programming language. The doco is great as well, which makes it easy to learn. There's a small amount of effort required to set it up (in VSCode) but it's worth it.

• vala-www

  34 47 7.4 SCSS

  Website of the Vala programming language

  

If you're writing code for GObject (primarily GTK+ applications and libraries), Vala is probably the best option. It offers syntax to simplify a lot of common GObject tasks but with better typechecking, and it should be quite familiar to anyone who's used C#.

• dale

  5 1,016 3.8 C++

  Lisp-flavoured C

Dale: Basically C, but using Lisp syntax, support for macros, which might segfault, not beginner friendly at all.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• chalk

  25 1,768 7.1 Rust

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver (by rust-lang)

  

There has been work to implement part of the Rust typing logic in the Chalk Engine which uses a prolog-ish syntax to describe its rules.

• polonius

  31 1,249 0.0 Rust

  Defines the Rust borrow checker.

  

Similarly, there has been work to implement the borrow-checking of Rust in the Polonius Engine which uses the Datalog language to describe the rules.

Suggest a related project