kmicinski Goto Github PK
Name: Kristopher Micinski
Type: User
Company: Kris Micinski
Bio: Lover of lambdas.
Location: Syracuse, NY
Blog: http://kmicinski.com
Name: Kristopher Micinski
Type: User
Company: Kris Micinski
Bio: Lover of lambdas.
Location: Syracuse, NY
Blog: http://kmicinski.com
Papers on AAM-based abstract interpretation
Examples (mostly PL) in Agda
Program analysis and semantics examples
Bree and Kris' work on the 828x project
BAR 2022 Public Website
Big step semantics example repo
Code from my blog
An example language in Racket that boxes all variables made by (define ...)
Starter code for 2G
Project 2I in 311
CIS352 (Principles of Programming Languages) at Syracuse University -- Fall 2022
CIS352 at Syracuse University--Fall 2023
CIS352 -- Fall 2024 -- Syracuse U (Kris Micinski)
CIS352 at SU Spring 2020
Course website / materials for CIS352, Spring 2021, at Syracuse
CIS352--Spring 2023
CIS352 at Syracuse University--Spring 2024
CIS400--Introduction to Compiler Construction. Syracuse U, Fall 2021. Davis Silverman (TA) and Kris Micinski (instructor), based on CMSC430 by Thomas Gilray.
Language-Based Security -- CIS700 Fall 2022 @ Syracuse U
Modern Symbolic AI and Automated Reasoning
CMSC 245 @ Haverford, Fall 2017. By Kris Micinski & David Wonnacott
Examples from CMSC245
Examples from the class CMSC 330 during Summer 2015
Computational biology project for CMSC 702
The CompCert formally-verified C compiler
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.