-
-
-
-
-
-
high-school Public
This is an attempt to formalise Tarski High School Algebra problem in Agda
Agda UpdatedJul 25, 2024 -
i3-extras Public
Repository to keep patches and extras for i3 window manager.
-
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedFeb 23, 2022 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedFeb 13, 2022 -
agda-stacklang Public
Experiments with stack-based languages a la Forth or PostScript and extractors for them
-
eparakstitajs Public
Software stack to use latvian digital signature eparaksts
-
2021-extraction-paper Public
Paper about Extraction of Shallowly-embedded DSLs using Agda's reflection mechanisms
-
Stdlib Public
Forked from SacBase/StdlibThis repository contains the Core and Extended source files of the Standard Library of the SaC programming language
C Other UpdatedMay 21, 2021 -
agda-extractor Public
A framework for extracting code from Agda into a costum language
-
-
-
translit-plugin Public
Pidgin plugin for de-transliteraion of the russian messages
-
-
agda-array-morphism Public
Explore array/container morphisms using the <> operation
-
agda-arrays-with-levels Public
Higher-level multidimensional arrays in Agda
Agda UpdatedMar 27, 2020 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedMar 8, 2019 -
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
C++ Apache License 2.0 UpdatedSep 28, 2018 -
-
sac-json Public
Replaces xml-based configuration files in SaC with JSON-based.
-
-
-
-
{{ message }}