matko

matko's Stars

• bytedance/monoio

  Rust async runtime based on io-uring.

  Language:Rust3.9k223

• SWI-Prolog/tabled-prolog-book

  Programming in Tabled Prolog by David S Warren

  Language:TeX223

• SWI-Prolog/swipl

  SWI-Prolog stable releases

  Language:C21840

• SWI-Prolog/bench

  Prolog benchmarks (`van Roy' set)

  Language:Prolog159

• SWI-Prolog/swipl-devel

  SWI-Prolog Main development repository

  Language:C963176

• oxalica/rust-overlay

  Pure and reproducible nix overlay of binary distributed rust toolchains

  Language:Nix91252

• nix-community/nixd

  Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]

  Language:C++84728

• jjpe/color-your-life

  Language:Rust1

• terminusdb/terminusdb

  TerminusDB is a distributed database with a collaboration model

  Language:Prolog2.8k105

• terminusdb-labs/lexdata

  Lexical data conversion from various datatypes

  Language:Rust2

• terminusdb/terminusdb-store

  a tokio-enabled data store for triple data

  Language:Rust36532

• GavinMendelGleason/lexdata

  Lexically sortable datatypes

  Language:Rust1

• paul-storey/examples-of-using-terminusdb

  Language:Python7

• Ardour/ardour

  Mirror of Ardour Source Code

  Language:C++3.9k688

• edisionnano/Screenshare-with-audio-on-Discord-with-Linux

  A repo trying to gather all info regarding proper screensharing on Discord with Desktop Audio for linux users

  67811

• terminusdb-labs/terminusdb-client-elixir

  TerminusDB client in Elixir. Work in progress!

  Language:Elixir6

• AgeKeikiru/DaturaMini

  Language:Yacc2

• terminusdb/terminusdb-console

  Management Dashboard for Terminus DB

  Language:JavaScript63

• fnogatz/swivm

  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions

  Language:Shell418

• flareriderdash/Terminus-CLI

  A CLI wrapper for TerminusDB based around its python client.

  Language:Python7

• logicmoo/wam_common_lisp

  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

  Language:Common Lisp1009

• jjpe/tempus_fugit

  Measure expression execution times in Rust

  Language:Rust7

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k118

• crev-dev/cargo-crev

  A cryptographically verifiable code review system for the cargo (Rust) package manager.

  Language:Rust2.1k89

• terminusdb/terminus_store_prolog

  Prolog binding for terminusdb-store

  Language:Prolog217

• PureDarwin/PureDarwin

  Darwin is the Open Source core of macOS, and PureDarwin is a community project to extend Darwin into a complete, usable operating system.

  Language:C2.2k179

• andy128k/cl-gobject-introspection

  Language:Common Lisp5015

• drslump/Boo.Hints

  Autocompletion library for Boo

  Language:Boo72

• boo-lang/boo

  The Boo Programming Language.

  Language:C#868147

• algoterranean/boo-mode

  Language:Emacs Lisp1