490 Open source projects that are alternatives of or similar to agda

Algebraic graphs

Algebraic graphs implementation in TypeScript

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

A formalization of category theory in cubical Agda

Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Mtac in Agda

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

No description or website provided.

Category theory formalized in cubical agda

Scala library to describe sharded and event sourced entities using tagless-final algebras

A TACtic library for Agda

wherein I implement several substructural logics in Agda

algebraic expressions parsing and evaluation through a property system based algorithm

A slow-paced introduction to reflection in Agda. ---Tactics!

Learn mathematics behind machine learning and explore different mathematics in machine learning.

Relational Algebra, now with more algebra!

Theory for algebra summer exam

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Algebraic proof discovery in Agda

Solution to Algebra, Chapter 0

Educational tool for relational algebra

Agda language support for the Atom editor

No description or website provided.

A ReasonML/Ocaml library for category theory and abstract algebra

Fast and safe evaluation of algebraic expressions

Simple computer algebra system

This a JavaScript Library for the Numerical Javascript and Machine Learning

[Experimental] LLVM-accelerated Generic Linear Algebra Subprograms

The open-source computational framework for the Swift language

Accessing Agda's interaction mode via command line & external tactic for Agda.

agda-mode on VS Code

Finite fields for Julia

Library to enable using graphviz in Racket programs

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Constructive Interpretations of HoTT

Functional Reactive Programming with Agda

RA (radb): A relational algebra interpreter over relational databases

Univalent mathematics in Agda

apkg - package manager for Agda

United Monoids

Tagless final style interpreter / wrapper for D3 in PureScript, latest of many re-writes

Este repositorio esta basado principalmente en la carrera de machine learning y data science de platzi pero también habrán recursos de otras plataformas e instituciones educativas.

Symbolic computation using SymPy and various applications

All curricular materials for Bootstrap course modules

Category theory applied to functional programming (undergraduate project)

Language Server for Agda

Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?

Curso de Álgebra Lineal

Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

Pure Math in Pure Swift.

Deciding Presburger arithmetic in agda

Pure Math in Pure Swift.

Linear algebra library for Rust.

Proof automation – for Agda, in Agda.

Fast [co]product types with a clean syntax. For Cats & Scalaz.

☕️ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

Algebraic Graphs in Scala

Simple, responsive, modern Charts with zero dependencies

Explore COVID-19 data with Common Lisp, gnuplot, SQL and Grafana