sligh

A language for certifying specification (by amw-zero)

Sligh Alternatives

Similar projects and alternatives to sligh

  1. langs

    185 sligh VS langs
  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. xvm

    110 sligh VS xvm

    Ecstasy and XVM

  4. Oberon

    Oberon parser, code model & browser, compiler and IDE with debugger, and an implementation of the Oberon+ programming language

  5. Vale

    67 sligh VS Vale

    Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  6. Cwerg

    59 sligh VS Cwerg

    The best C-like language that can be implemented in 10kLOC.

  7. FStar

    48 sligh VS FStar

    A Proof-oriented Programming Language

  8. pest

    47 sligh VS pest

    The Elegant Parser (by pest-parser)

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. lobster

    38 sligh VS lobster

    The Lobster Programming Language

  11. Forscape

    Scientific computing language

  12. Jinx

    26 sligh VS Jinx

    Embeddable scripting language for real-time applications

  13. tailspin-v0

    A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting

  14. Kind

    21 sligh VS Kind

    Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind2] (by Kindelia)

  15. ShnooTalk

    ShnooTalk is a new programming language

  16. urweb

    6 sligh VS urweb

    The Ur/Web programming language

  17. awesome-programming-languages

    The list of awesome programming languages that you might be interested in.

  18. list-exp

    1 sligh VS list-exp

    Discontinued Regular expression-like syntax for list operations [Moved to: https://github.com/phenax/elxr]

  19. Argon

    4 sligh VS Argon

    Argon programming language (by ArgonLang)

  20. edsl

    2 sligh VS edsl

    Example of embedding TypeScript as an EDSL inside of another language (by amw-zero)

  21. tulip

    1 sligh VS tulip

    A Tiny, Untyped, Lazy, Interpreted, Pure language (by willmcpherson2)

  22. cogent

    4 sligh VS cogent

    Cogent Project

  23. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better sligh alternative or higher similarity.

sligh discussion

Log in or Post with

sligh reviews and mentions

Posts with mentions or reviews of sligh. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-27.

Stats

Basic sligh repo stats
8
13
7.9
over 1 year ago

amw-zero/sligh is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of sligh is OCaml.


Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that OCaml is
the 41st most popular programming language
based on number of references?