92 Open source projects that are alternatives of or similar to gentle-intro-to-reflection

Mtac in Agda

A TACtic library for Agda

Interview challenge for potential candidates.

Exercises for introductory Python 3 courses

React fundamentals

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

Android Project to find FatMax in real time with a Polar H10

Materials for Docker Advanced training

Exercise generator and helpful materials for the Introduction to Algorithms and Data Structures 📚

Language Server for Agda

Exercises of the OCA Java SE 7 Programmer I Study Guide (Exam 1Z0-803)

CyberQueens lesson materials - learning resources and exercises for aspiring reverse engineers, exploit developers, and hackers 👩‍💻👨‍💻

Transform your spin bike into a Smart Trainer!

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

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

Playground and evolution of learnings done in react native with typescript

SoftUni- Software Engineering

Rainbow Six Siege map quick references

This repo has all exercises of "C Exam Alone In The Dark - Beginner" sorted from level_00 to Level_05

Prolog puzzles for fun and profit (mostly fun)

Exercises used by my openFramework course which I teach in Brussels.

Deciding Presburger arithmetic in agda

Exercises for Python beginners

Dart (and Flutter) library for the Traindown Markup Language. This is the reference implementation for now. It is first to receive features and fixes.

Agda language support for the Atom editor

Type Theory in Type Theory using Cubical Agda

eXercise Sheets IMproved

Using a Ring Fit Adventure mod for The Legend of Zelda: Breath of the Wild. This allows the user to control the game with exercises.

https://rinterface.com/shiny/talks/RPharma2020/

📝2017百度前端技术学院

A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.

A formalization of category theory in cubical Agda

Constructive Interpretations of HoTT

Functional Reactive Programming with 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.

apkg - package manager for Agda

Univalent mathematics in Agda

A Coq library providing tactics to deal with hypothesis

My solutions to C++ Primer(5th edition) exercises.

Idris tactics for (commutative) monoids

Category theory formalized in cubical agda

Public site

Algebraic proof discovery in Agda

GAPT: General Architecture for Proof Theory

A list of the shortest tutorials ever.

wherein I implement several substructural logics in Agda

Reference sheet for the Coq language.

Proof automation – for Agda, in Agda.

A cross-platform Flutter home workout app that respects your privacy. THIS IS A GITLAB MIRROR, file issues and contribute there.

Forex Trading Application workshop

Generate chess puzzles / tactics from a pgn file

Slicing and coding game

Theia Workshop - Building Cloud and Desktop IDEs

agda-mode on VS Code

Learn Rx through Katas and exercises

Exercise to understand better react-redux, how it works and how to use it.

C++ Course Taught at CERN, from Sebastien Ponce (LHCb)

Category theory applied to functional programming (undergraduate project)

A Refactoring Golf exercise

Prototipo inicial de un juego tactico. Este proyecto solo alberga unos pocos assets con licencia free y el core de un sistema de combate tactico por turnos.