-
nushell Public
Forked from nushell/nushellA new type of shell
-
artifactsmmo.nu Public
Nu-shell commands for playing ArtifactsMMO
Nushell Creative Commons Zero v1.0 Universal UpdatedDec 26, 2025 -
-
ctdl.pl Public
Prolog reimplimentation of Conflict Tolerant Deontic Logic
-
-
tree-sitter-scala Public
Forked from tree-sitter/tree-sitter-scalaScala grammar for tree-sitter
JavaScript MIT License UpdatedAug 13, 2024 -
-
-
reactive-sparql Public
Forked from agnos-ai/reactive-sparqlA Reactive Sparql Client written in Scala and Akka
Scala MIT License UpdatedAug 17, 2020 -
-
network-case Public
Forked from developers-against-repressions/network-casePython UpdatedFeb 19, 2020 -
-
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedNov 30, 2019 -
transfer-watchers Public
Forked from dzajkowski/transfer-watchersA simplistic block explorer for RChain presenting the usage scenarios for the reporting APIs.
Scala UpdatedNov 28, 2019 -
tla-pygments Public
Forked from hwayne/tla-pygmentsA terrible pygments plugin from a terrible human
Python MIT License UpdatedNov 4, 2019 -
case-212 Public
Forked from developers-against-repressions/case-212Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»
Python UpdatedSep 19, 2019 -
Scallina Public
Forked from JBakouny/ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Scala GNU General Public License v3.0 UpdatedSep 17, 2019 -
-
-
-
WavesRs Public
Forked from petermz/WavesRsA Rust interface for the Waves blockchain
Rust UpdatedAug 17, 2018 -
-
MUV-dp-example Public
Model-Updater-View example using depend types in Idris and Scala.
-
-
-
-
idris-se Public
Forked from vindaloo-thesis/idris-seIdris to Serpent back end for Ethereum smart contracts
Haskell Other UpdatedSep 14, 2017 -
SPARQLclient Public
Simple SPARQL endpoints access library in swift
Swift GNU General Public License v3.0 UpdatedFeb 3, 2017 -
-
{{ message }}