-
-
shari Public
A proof assistant based on the internal language of topos with NNO (intuitionistic higher-order arithmetic)
-
satysfi-base Public
complementary collection of useful functions and modules for SATySFi
-
msgpack-schema Public
Forked from Idein/msgpack-schemaA specification language for MessagePack data schema
Rust MIT License UpdatedJun 7, 2023 -
-
-
r7expander Public
R7RS expander
-
rscode-rs Public
modernization of https://github.com/nyuichi/gauche-rscode
Rust UpdatedAug 10, 2021 -
runtime-spec Public
Forked from opencontainers/runtime-specOCI Runtime Specification
Go Apache License 2.0 UpdatedApr 26, 2021 -
yabai-sat Public
sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simp…
-
satyrographos-repo Public
Forked from na4zagin3/satyrographos-repoCustom OPAM repository for SATySFi libraries managed by Satyrographos
UpdatedDec 27, 2020 -
-
odds-calculator-1 Public
Forked from b-inary/odds-calculatorOnline odds calclator for heads-up Texas hold'em poker
Vue UpdatedNov 26, 2020 -
-
odds-calculator Public
Online odds calclator for heads-up Texas hold'em poker
Vue UpdatedNov 22, 2020 -
dockworker Public
Forked from Idein/dockworkerDocker daemon API client in Rust
Rust UpdatedNov 17, 2020 -
-
The Go programming language
Go BSD 3-Clause "New" or "Revised" License UpdatedOct 18, 2019 -
LeanHOL Public
super tiny implementation of higher-order logic proof assistant in lean
-
railcar Public
Forked from oracle/railcarRailCar: Rust implementation of the Open Containers Initiative oci-runtime
Rust Other UpdatedSep 26, 2019 -
-
SATySFi Public
Forked from gfngfn/SATySFiA statically-typed, functional typesetting system
OCaml GNU Lesser General Public License v3.0 UpdatedFeb 27, 2019 -
-
-
-
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
Ruby BSD 2-Clause "Simplified" License UpdatedAug 23, 2018 -
-
{{ message }}