Typedlua Alternatives

Similar projects and alternatives to typedlua

• coq

  87 4,602 10.0 OCaml typedlua VS coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  

• hylo

  54 1,106 9.9 Swift typedlua VS hylo

  The Hylo programming language

  

• 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.

  

• seL4

  60 4,538 9.0 C typedlua VS seL4

  The seL4 microkernel

  

• lean4

  53 3,739 9.9 Lean typedlua VS lean4

  Lean 4 programming language and theorem prover

  

• tl

  54 1,935 7.7 Lua typedlua VS tl

  The compiler for Teal, a typed dialect of Lua

  

• FStar

  42 2,567 9.9 F* typedlua VS FStar

  A Proof-oriented Programming Language

  

• Idris2

  39 2,395 9.6 Idris typedlua VS Idris2

  A purely functional programming language with first class types

  

• 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.

  

• dafny

  31 2,665 9.7 C# typedlua VS dafny

  Dafny is a verification-aware programming language

  

• Akka

  33 12,925 9.4 Scala typedlua VS Akka

  Build highly concurrent, distributed, and resilient message-driven applications on the JVM

  

• Agda

  27 2,371 9.8 Haskell typedlua VS Agda

  Agda is a dependently typed programming language / interactive theorem prover.

  

• egg

  25 1,233 6.8 Rust typedlua VS egg

  egg is a flexible, high-performance e-graph library (by egraphs-good)

  

• eff

  18 546 0.0 Haskell typedlua VS eff

  🚧 a work in progress effect system for Haskell 🚧 (by hasura)

  

• fully-homomorphic-encryption

  19 3,453 7.0 C++ typedlua VS fully-homomorphic-encryption

  An FHE compiler for C++

  

• mir

  19 2,184 7.7 C typedlua VS mir

  A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

• lua-nginx-module

  16 11,087 8.1 C typedlua VS lua-nginx-module

  Embed the Power of Lua into NGINX HTTP servers

  

• rfcs

  8 57 4.3 typedlua VS rfcs

  RFC process for Bytecode Alliance projects (by bytecodealliance)

  

• libaco

  3 3,437 10.0 C typedlua VS libaco

  A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞

• dotfiles

  9 31 8.6 Python typedlua VS dotfiles

  Configs for apps I care about (by bbkane)

• ravi

  4 1,141 4.3 C typedlua VS ravi

  Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

• snabb

  4 2,939 8.3 Lua typedlua VS snabb

  Snabb: Simple and fast packet networking

  

• SaaSHub

  www.saashub.com sponsored

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