SvenWille

SvenWille's Stars

• red/red

  Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!

  Language:Red5.6k2024.1k416

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean5.2k622.1k554

• factor/factor

  Factor programming language

  Language:Factor1.7k742.1k214

• leanprover-community/mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k52362297

• pharo-project/pharo

  Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

  Language:Smalltalk1.3k417.4k373

• Mercury-Language/mercury

  The Mercury logic programming system.

  Language:Mercury942367457

• felix-lang/felix

  The Felix Programming Language

  Language:C8084114446

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda3752511927

• ML-KULeuven/problog

  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

  Language:Python334249439

• Deducteam/lambdapi

  Proof assistant based on the λΠ-calculus modulo rewriting

  Language:OCaml3121455536

• chaos-lang/chaos

  The Chaos Programming Language

  Language:C281129919

• jameshaydon/lawvere

  A categorical programming language with effects

  Language:Haskell2751275

• FreeRCT/FreeRCT

  FreeRCT aims to be a free and open source game which captures the look, feel and gameplay of the popular games RollerCoaster Tycoon 1 and 2.

  Language:C++2482010435

• ELENA-LANG/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++2411660228

• ML-KULeuven/deepproblog

  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.

  Language:Python225151054

• wilbowma/cur

  A less devious proof assistant

  Language:Racket2231710518

• githwxi/ATS-Xanadu

  Bootstrapping ATS3

  Language:ATS209321415

• VictorTaelin/Cedille-Core

  A minimal proof language.

  Language:JavaScript20420212

• trizen/sidef

  A modern object-oriented programming language implemented in Perl.

  Language:Perl1168912

• coq-community/corn

  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]

  Language:Coq114133945

• UniFormal/MMT

  The MMT Language and System

  Language:Scala711846922

• WhatisRT/meta-cedille

  Minimalistic dependent type theory with syntactic metaprogramming

  Language:Agda577100

• RBornat/jape

  Jape, a configurable proof editor (best at natural deduction and sequent calculus)

  Language:OCaml495184

• xgrommx/coq-ecosystem

  42401

• jaycech3n/Isabelle-HoTT

  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle

  Language:Standard ML33553

• craff/phox

  Language:OCaml12411

• LPCIC/matita

  Matita (proof assistant) with embedded elpi

  Language:OCaml12433

• david-christiansen/pudding

  Tactics in the macro expander

  Language:Racket660

• m-31/qedeq

  Formal Correct Mathematical Knowledge

  Language:Java3400

• TheDonDope/govalues

  Test your political alignment and simulate various constellations.

  Language:Go1400