Pinned Repositories
adt.jl
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
potan's Repositories
potan/dual.rs
Dual numbers in Rust.
potan/FPure_ride
potan/glumacro
potan/grid-inheritance.clj
Declarative (grid) inheritance in Clojure.
potan/MUV-dp-example
Model-Updater-View example using depend types in Idris and Scala.
potan/parsers.jl
Monadic parsers library with inheritance support
potan/pinp
Prolog in Prolog
potan/tsfc
Typesafe file control in Rust.
potan/turtle
ELM - ROS interaction
potan/adt.jl
potan/case-212
Открытое письмо специалистов IT-индустрии в защиту фигурантов «московского дела»
potan/guix-config
guix configuration
potan/idris-se
Idris to Serpent back end for Ethereum smart contracts
potan/ipmsolve
Solver for some tasks from Incredible Proof Machine.
potan/jsontemplate
json generator from template
potan/lz_cert
lz certification
potan/matching-test
Test task
potan/mob-trains
Some brain trains.
potan/network-case
potan/nixos-configuration
nixos-configuration
potan/nu_plugin_wifiscan
Nu shell WiFi scanning plugin.
potan/pygments
Pygments is a generic syntax highlighter written in Python
potan/rchain
potan/reactive-sparql
A Reactive Sparql Client written in Scala and Akka
potan/Scallina
A Coq-based synthesis of Scala programs which are correct-by-construction
potan/SPARQLclient
Simple SPARQL endpoints access library in swift
potan/tla-pygments
A terrible pygments plugin from a terrible human
potan/transfer-watchers
A simplistic block explorer for RChain presenting the usage scenarios for the reporting APIs.
potan/tree-sitter-scala
Scala grammar for tree-sitter
potan/WavesRs
A Rust interface for the Waves blockchain