Beast code in Giters

srgx's starred repositories

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Language:C++UPL-1.089200

gosu-lang

The Gosu programming language

Language:GosuApache-2.042200

why3

SPARK 2014 repository for the Why3 verification platform.

Language:OCamlNOASSERTION2700

polyml

Poly/ML

Language:Standard MLLGPL-2.148000

twelf

The Twelf Programming Language

Language:Standard MLNOASSERTION10000

Maude

Language based on Rewriting Logic

Language:C++GPL-2.07500

Objeck is a modern object-oriented programming language with functional features tailored for machine learning. It emphasizes expression, simplicity, portability, and scalability. The programming environment consists of a compiler, virtual machine, REPL shell, and command line debugger with IDE plugins.

Language:C++NOASSERTION15000

sacalon

Sacalon is a general purpose and open source programming language designed to build optimal, maintainable, reliable and efficient software.

Language:PythonBSD-3-Clause7500

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Language:OCamlMIT1008900

elena-lang

ELENA is a general-purpose language with late binding. It is multi-paradigm, combining features of functional and object-oriented programming. Rich set of tools are provided to deal with message dispatching : multi-methods, message qualifying, generic message handlers, run-time interfaces

Language:C++MIT23400

rune

An embeddable dynamic programming language for Rust.

Language:RustApache-2.0165200

WLambda

WLambda - Embeddable Scripting Language for Rust

Language:RustGPL-3.04900

logtalk3

Logtalk - declarative object-oriented logic programming language

Language:PrologApache-2.040700

calypso

Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.

Language:RustApache-2.06500

wu

🐉 A practical game and data language

Language:RustMIT46800

daScript

daScript - high-performance statically strong typed scripting language

Language:CBSD-3-Clause85300

Argon

Argon programming language

Language:C++Apache-2.04100

miniscript

source code of both C# and C++ implementations of the MiniScript scripting language

Language:C++MIT26600

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

Language:RustApache-2.042200

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustMPL-2.0108400

Amun

A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast

Language:C++MIT6300

Kind1

A modern proof language

Language:JavaScriptMIT353300

ante

A safe, easy systems language

Language:RustMIT188100

snowball

🐱 Anything that can be written in Snowball, will eventually be written in Snowball

Language:CNOASSERTION6600

cognate

A human readable quasi-concatenative programming language

Language:CBSD-2-Clause23200

sophie

A call-by-need statically-duck-typed language named for French mathematician Sophie Germain

Language:PythonMIT2900

plasma

Plasma Programming Language

Language:MercuryNOASSERTION16200

egel

The Egel Programming Language

Language:C++MIT8000

core

The Core Programming Language

Language:RustMIT4400

cyclone

:cyclone: A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.

Language:SchemeMIT82000