190 Open source projects that are alternatives of or similar to category-parametric-talk

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

A tool for creating presentations with simple Markdown notation.

Using Go for Information Displays

A DSL for the internal language of a topos

Presentation about my process for making code reviews as effective as possible

📊 A cookiecutter template for reveal.js presentations.

👁 A presentation tool written in react.js

Reproducible Self-Publishing - Demo Publications in the Most Common Formats

Starting code and proposed solution for Functional Structures Refactoring Kata

A categorical semantics library in Agda.

Impress Editor

Present with Vue

An experimental set of pathfinding algorithms for video games

1MB cli for authoring / presenting in markdown

Using Jupyter Notebook with Django: a presentation

Harbor in Kubernetes

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

Diseases Checker Application 🚑 | Android Application

Introduction to Robot Framework - TriTAUG Presentation

A rewrite of the inkscapeslide script to create PDF presentations out of inkscape SVG files.

Using markdown, write simple but beautiful presentations with math, animations and media.

No description or website provided.

Source for all talks I've presented at various conferences

iOS let's you modally present any view controller, but if you want the presented view controller to not cover the whole screen or modify anything about its presentation or transition you have to use the Custom View Controller Presentation API's.

Online presentation for GitHub Pages and Jekyll in Markdown using reveal.js with a Solarized Color Theme

🎨 Make your screenshot/image more professional by rotating, adding shadow and more.

Freely-licensed LibreOffice Impress templates

🌟 HolyJS Talk: Animations in the Stateful World (How to Animate Things in React)

Markdown To Impressive Scientific Slides

Google Chromeでニコニコするやつ

Category theory formalized in cubical agda

A graphical editor for graph-like structures

A web application to create 3D presentations based on WebGL

BlindJS is a Javascript library that allows blind typing of pre-defined code. So stop worrying about writing valid code and start typing fast as hell!

PDF presentation tool chest

GopherCon 2018 tutorial session slides and examples

a simple plaintext presentation tool

A tool allows you to draw on screen real-time.

🚗 A 3D product spinner for Vue.js with no dependencies

S6 Blank - Slideshow templates using HTML 5, CSS 3 'n' JavaScript 2017+ w/ Bespoke.js-compatible "microkernel"

Easy class decoration.

Automatic Differentiation using Pseudo Lenses. Neat.

Category Theory for Programmers の勉強記録

Category Theory For Programmers (Bartosz Milewski)

Presentation Slides for Developers

No description or website provided.

My undergradate thesis on coinductive types in univalent type theory

A formalization of category theory in cubical Agda

Code samples for #monadicmonday topics

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

This is an unofficial LaTeX Beamer presentation template for Stanford University.

Web Presenter for Mathematical Animations using Manim.

Create animated terminal presentations. Export as SVG, animated GIF, or HTML+CSS

Repository for the slides and the code of my CppCon 2015 talks.

Use Markdown to generate a Reveal.js presentation in minutes.

Ken Burns effect with face recognition!

Category theory concepts in type classes and instances.

Relational Algebra, now with more algebra!

📽 An opinionated presentation framework. Just write what you want to present and it will do the rest.

Univalent mathematics in Agda