Giters
Mathis De Witte (mathis2003)

mathis2003

Geek Repo

12

followers

22

following

66

stars

Location:Belgium

Github PK Tool:Github PK Tool

Mathis De Witte's starred repositories

Logix

Multi-Language Programming for Python (no longer maintaining)

Language:PythonStargazers:11Issues:0Issues:0

macroquad

Cross-platform game engine in Rust.

Language:RustLicense:Apache-2.0Stargazers:3271Issues:0Issues:0

swipl

SWI-Prolog stable releases

Language:CLicense:NOASSERTIONStargazers:217Issues:0Issues:0

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustLicense:BSD-3-ClauseStargazers:2015Issues:0Issues:0

logtalk3

Logtalk - declarative object-oriented logic programming language

Language:PrologLicense:Apache-2.0Stargazers:415Issues:0Issues:0

terminusdb

TerminusDB is a distributed database with a collaboration model

Language:PrologLicense:Apache-2.0Stargazers:2744Issues:0Issues:0

trealla

A compact, efficient Prolog interpreter written in plain-old C.

Language:CLicense:MITStargazers:268Issues:0Issues:0

UGent-4

Language:TypeScriptLicense:MITStargazers:6Issues:0Issues:0

ZenithOS

The Zenith Operating System is a modern, professional fork of the 64-bit Temple Operating System, designed to survive societal collapse.

License:UnlicenseStargazers:46Issues:0Issues:0

Interpreter

The interpreter for Rhovas, a programming language for API design and enforcement.

Language:KotlinLicense:MITStargazers:28Issues:0Issues:0

rete

JavaScript framework for visual programming

Language:TypeScriptLicense:MITStargazers:10045Issues:0Issues:0

raygui

A simple and easy-to-use immediate-mode gui library

Language:CLicense:ZlibStargazers:3435Issues:0Issues:0

raylib

A simple and easy-to-use library to enjoy videogames programming

Language:CLicense:ZlibStargazers:21902Issues:0Issues:0

Nuklear

A single-header ANSI C immediate mode cross-platform GUI library

Language:CLicense:NOASSERTIONStargazers:9152Issues:0Issues:0

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:32245Issues:0Issues:0

cubical

An experimental library for Cubical Agda

Language:AgdaLicense:NOASSERTIONStargazers:449Issues:0Issues:0

smlnj

Standard ML of New Jersey

Language:Standard MLLicense:BSD-3-ClauseStargazers:177Issues:0Issues:0

effekt

A language with lexical effect handlers and lightweight effect polymorphism

Language:ScalaLicense:MITStargazers:319Issues:0Issues:0

P

The P programming language.

Language:C#License:MITStargazers:3009Issues:0Issues:0

xvm

Ecstasy and XVM

Language:JavaLicense:NOASSERTIONStargazers:201Issues:0Issues:0

elpi

Embeddable Lambda Prolog Interpreter

Language:PrologLicense:LGPL-2.1Stargazers:283Issues:0Issues:0

persistent

Persistence interface for Haskell allowing multiple storage methods.

Language:HaskellLicense:MITStargazers:466Issues:0Issues:0

Oberon

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

Language:C++License:GPL-2.0Stargazers:451Issues:0Issues:0

reason

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

Language:OCamlLicense:MITStargazers:10138Issues:0Issues:0

differential-dataflow

An implementation of differential dataflow using timely dataflow on Rust.

Language:RustLicense:MITStargazers:2555Issues:0Issues:0

unison

A friendly programming language from the future

Language:HaskellLicense:NOASSERTIONStargazers:5751Issues:0Issues:0

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:RustLicense:MPL-2.0Stargazers:1089Issues:0Issues:0

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2152Issues:0Issues:0

percival

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

Language:RustLicense:MITStargazers:600Issues:0Issues:0

felix

The Felix Programming Language

Language:CLicense:NOASSERTIONStargazers:804Issues:0Issues:0