frankymacster Goto Github PK

360-image-gallery-boilerplate

algorithm-visualizer

:fireworks:Interactive Online Platform that Visualizes Algorithms from Code

algorithms

:crystal_ball:Algorithm Visualizations

category-theory-graphviz

classical-geometry-euclidean-transformational-inversive-and-projective-gnv64

proofs for the book classical-geometry-euclidean-transformational-inversive-and-projective-gnv64

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

create-react-app

Create React apps with no build configuration.

cyclejs-experiments

Created with CodeSandbox

cyclejs-mostjs

Managing multiple component instances with Cycle.js + Most.js

cytoscape-bfs

Visualize BFS algorithm in a random graph

dotfiles

Alacritty + Tmux + Oh My Zsh + Neovim = ❤️

ecs-panoramic-viewer

elm-todomvc

The TodoMVC app written in Elm, nice example for beginners.

fantasy-birds

port of the haskell package Data.Aviary.Birds. Every thing for your combinatory needs.

fanuc

ROS-Industrial Fanuc support (http://wiki.ros.org/fanuc)

fitchjs

Fitch style proof constructor

fp-ts-taskeither

Created with StackBlitz ⚡️

frankymacster.github.io

personal website

full-stack-developer-interview-questions-and-answers

:grey_question:Full-stack developer interview questions and answers

gatsby-starter-blog-mdx-vgcqs

Created with CodeSandbox

gituseexample

goedel

The Gödel-Rosser 1st incompleteness theorem

graph-basics

a Coq toolkit for graph theory

group-theory

Elements of Group Theory

html

testing layouts

incredible

The Incredible Proof Machine

material-deposition

mediaelement

HTML5 <audio> or <video> player with support for MP4, WebM, and MP3 as well as HLS, Dash, YouTube, Facebook, SoundCloud and others with a common HTML5 MediaElement API, enabling a consistent UI in all browsers.

my-learnings