potan

dual.rs

Dual numbers in Rust.

FPure_ride

glumacro

grid-inheritance.clj

Declarative (grid) inheritance in Clojure.

MUV-dp-example

Model-Updater-View example using depend types in Idris and Scala.

parsers.jl

Monadic parsers library with inheritance support

pinp

Prolog in Prolog

tsfc

Typesafe file control in Rust.

turtle

ELM - ROS interaction

adt.jl

case-212

Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»

guix-config

guix configuration

idris-se

Idris to Serpent back end for Ethereum smart contracts

immuntology

Ontology of immune system

jsontemplate

json generator from template

lz_cert

lz certification

matching-test

Test task

mob-trains

Some brain trains.

network-case

nixos-configuration

nixos-configuration

nu_plugin_wifiscan

Nu shell WiFi scanning plugin.

pygments

Pygments is a generic syntax highlighter written in Python

rchain

reactive-sparql

A Reactive Sparql Client written in Scala and Akka

Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

SPARQLclient

Simple SPARQL endpoints access library in swift

tla-pygments

A terrible pygments plugin from a terrible human

transfer-watchers

A simplistic block explorer for RChain presenting the usage scenarios for the reporting APIs.

tree-sitter-scala

Scala grammar for tree-sitter

WavesRs

A Rust interface for the Waves blockchain