kyagrd Goto Github PK
Name: Ki Yung Ahn
Type: User
Location: Korea
Blog: http://kyagrd.github.io/
Name: Ki Yung Ahn
Type: User
Location: Korea
Blog: http://kyagrd.github.io/
A little taste of Applied Pi-Calculus specification in lambda-Prolog
All kyagrd's bins
Simple code example to demonstrate logging with LaTeX output
창업의이해(01분반) 홈페이지
C Primer Plus 6th Edition source codes
한남대학교 2018가을(2학기) 컴파일러
Course materials on Regular Expressions using Haskell
한남대학교 2018가을(2학기) 프로그래밍실습
EIEN215 공업수학I Engineering Mathematics I
EIEN233 데이타구조 Data Structures
EIEN363 컴퓨터아키텍처 Computer Architecture
example
Executable Relational Specification of Extensible Records with Set-Membership in Logic Programming
type preservation of the beta reduction in System F (formal proof using Abella prover)
자기계발(새내기 과목)
A collection of useful .gitignore templates
Gitpod Support for haskell
Regular Expressions and Finite Automata demonstrated using IHaskell Notebook
Programming in Haskell (Korean translation) - homepage
specifying type inference for functional language usning Prolog
Higher-Order twist to MicroKanren
Haskell implementation of HO pattern unification with on-the-fly raising
A simple library for Haskell that allows relational programming.
Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern Unification
Haskell partition library example
Generating Witness of Non-Bisimilarity for the pi-Calculus
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.