freddi301 Goto Github PK

algonawt

react flow redux flux alternative

babel-plugin-transform-js-macros

A handful of useful macros as babel-plugin.

calculus-of-constructions

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.

carte-carte-carte

ugly clone of "slay of spire"

chatty

cinammon-redux

use redux as a pattern refactor to

clambda

lambda on c++

cloudyjs

Seamless cloud functions

dep-typ-lan-scala

dependently-typed-language-ide

flatty

Eat'n'grow or be eaten (a LAN clone of agar.io)

flow-validator

object validation with flow types and more

formality

An efficient programming language and proof assistant.

frederik-ai-2023

girojs

Reactive JavaScript Front-end Framework - reactive javascript utility, reactive dom based on first, utilities based on all this

graph-based-programming-language

graph-programming-language-may-2023

h5c3j5-course

html5 css3 javascript5 course

idris2

A purely functional programming language with first class types

idris2-node-dist

involved-dev

Compendium of best practices, principles and paradigms for professional coding

jsonastable

Display nested JSON as a readable table

kell

symbol processing language

lambda-experiments

lambda-in-purescript

simple lambda calculus in purescript

lambda-in-purescript-vscode

lambda-in-reason

lemming

lambda calculus ide

memita-2

Peer-to-peer chat and microblogging app

memita-p2p-prototype-1

P2P Chat Application