ENvironmentSet/welltyped

Stars
35
Rank 750,836 (Top 15 %)
Language
TypeScript
License
MIT License
Created over 4 years ago
Updated 4 months ago

ENvironmentSet/welltyped

ENvironmentSet

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Collection of Dependently-typed stuff

hyogwa

Natural 🌿 effect system that fits TypeScript

esone

Acropolis, where you can experience very first version of ECMAScript.

ts-transfromer-typerep

Bring type level information to value level.

lambda2wasm

A Lambda expression compiler targeting web assembly.

overcurried

Personal blog of ENvironmentSet based on oversomething.

DalToki

DalToki, the TTeok Interpreter made javascript : (Deprecated)

oversomething

oversomething is modernized Gatsby starter blog

Runo

a compact, yet powerful programming language for functional-reactive programming

stlc

Haskell Implementation of STLC

typedscript.js

structor, interface 등 자바스크립트에 없는 '강타입' 언어에서의 컨셉들을 가져와 프로그래머가 능동적으로 사용할 수 있게 지원해주는 라이브러리.

envssembly

esay and funny assembly-like language Runner

callbag-redux

A reimplementation of redux using callbag

cycle-todo-application

Learning CSS and Cyclejs by building todo application

objectel-core

provides api to manipulate highly-abstracted object in order to resolve hierarchical problem via composition

awesome-functional-programming

A Collection of precious resources about functional programming

rollup-library-boilerplate

My rollup boilerplate

pl-lambda-calculi

Collection of various lambda calculus's implementations.

EnvironmentSet.github.io

Yes, this is my personal blog

objectel

objectel is Event-Driven Reactive Programming library in order to build efficient program. project is moved: https://github.com/objectel/objectel

ReSeaPe

ReSeaPe service code, in 0xD Happckathon, You can see behind story and design in here : https://github.com/JunhoYeo/ReSeaPe_Design

objectel-events

provides objectel event helper functions

mandel

Mandel, A gomoku game

scoped-ts

A Library for scoping data with existentials.

retrospect

approx

Yet another mathematics library armed with lazy functional programming

callbag-component

Web Component Library based on callbag

snabbel

provides components and functions to handle snabbdom in objectel

fauto

framework based on idea of finite automata.

haskell-data-structures

data structures implemented by haskell