Topic: programming-language-theory Goto Github
Some thing interesting about programming-language-theory
Some thing interesting about programming-language-theory
programming-language-theory,There are some implementations of computation theory in Ruby.
User: alexiachen
programming-language-theory,Compact Typed Assembler (5K SLOC)
User: andrew-johnson-4
programming-language-theory,A light-weight, extendable, high level, universal code parser built on top of tree-sitter
Organization: autosoft-dev
programming-language-theory,A collection of programming languages and type systems.
User: ayazhafiz
Home Page: https://ayazhafiz.com/plts
programming-language-theory,The calculus of constructions
User: azdavis
programming-language-theory,DotWhitespace is an esoteric programming language using Python.
User: basemax
programming-language-theory,Pure untyped lambda calculus in safe Rust.
User: carnagion
Home Page: https://crates.io/crates/lamb
programming-language-theory,Work on Essentials of Programming Languages edition 3
User: chihyang
programming-language-theory,Chinese translation of Essential of Programming Languages 3rd Edition
User: chihyang
Home Page: https://eopl-zh.com
programming-language-theory,π j is a subset of J, and an essay.
User: cratelyn
programming-language-theory,An experimental programming language for ergonomic software verification
User: cypher1
Home Page: https://takolang.dev
programming-language-theory,The Cocke-Younger-Kasami algorithm implementation proposed by Lange-Leiss that handles grammars on 2NF(Binary Normal Form) instead of CNF(Chomsky Normal Form).
User: danielgunna
programming-language-theory,A collection of PLT researching
User: dannypsnl
Home Page: https://dannypsnl.github.io/plt-research
programming-language-theory,A repository containing the definition and implementation of a statically typed, purely functional language of my design and creation.
User: fk0225
programming-language-theory,Datasets, tools, and benchmarks for representation learning of code.
Organization: github
Home Page: https://arxiv.org/abs/1909.09436
programming-language-theory,Simple compiler, it was designed for Programming Language Translation course, in my 7th term.
User: hassan-elseoudy
programming-language-theory,a categorical programming language (WIP)
User: hiighovuti
programming-language-theory,Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/) in Scala
User: ignaciomosca
programming-language-theory,Crafting an interpreter/compiler with TypeScript.
User: imteekay
Home Page: https://www.iamtk.co/series/building-an-interpreter
programming-language-theory,A miniature model of the Typescript compiler, intended to teach the structure of the real Typescript compiler
User: imteekay
Home Page: https://www.iamtk.co/series/the-typescript-compiler
programming-language-theory,β¨ Programming Language Research, Applied PLT & Compilers
User: imteekay
Home Page: https://iamtk.co/tags/programming-language-design
programming-language-theory,Study notes of Software Foundations
User: ireina7
programming-language-theory,This is a compiler in Java using the ASM byte code framework for code generation in Java Byte Code.
User: jahin07
programming-language-theory,A complete compiler for an object-oriented language with static typing
User: jchenche
programming-language-theory,Programming Language Theory (laziness, recursion, function, variables)
User: jiniljeil
programming-language-theory,Coursera: Programming Languages, Univ. of Washington
User: jonnykong
programming-language-theory,Property Record Object | Tree Automata Grammar
User: kieda
programming-language-theory,π»μννΈμ¨μ΄νκ³Ό μ 곡 κ³Όμ μ μ₯μ
User: kingyong9169
programming-language-theory,WIP ISO 7185 Pascal interpreter
User: komninoschatzipapas
programming-language-theory,My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
User: lambduli
Home Page: http://reading.lambdu.li/
programming-language-theory,Programming language theory resources
User: manelli
programming-language-theory,My own Forth dialect on top of the Lua programming language. [Work in Progress]
User: marcoonroad
programming-language-theory,My own personal list of ownership policies. :microscope: :books: :question: :thinking: [Work in Progress]
User: marcoonroad
programming-language-theory,proof of concept for polymorphic imperative session types
User: mari-w
programming-language-theory,Turkish resource for PLT (Programming Language Theory)
User: mertcandav
programming-language-theory,π» Dive into a curated collection of programming language comparisons, exercises, and detailed slides in this repository for Urmia University students.
User: mobiwn
programming-language-theory,Assignments for the Programmer som Data course at the IT University of Copenhagen.
Organization: noticemedan
programming-language-theory,Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
User: satyendrabanjare
Home Page: https://satyendrabanjare.com/plt-formal-methods-resources
programming-language-theory,Scriptlang is a cross-platform solution/alternative to the current scripting languages Batch and Shell.
Organization: scriptlang
programming-language-theory,String diagram visualiser
Organization: sd-visualiser
Home Page: https://sd-visualiser.github.io/sd-visualiser/
programming-language-theory,
User: seunguklee
programming-language-theory,A cunning interpreter for the pure untyped Ξ»-calculus.
User: severen
programming-language-theory,A formal definition of a language accompanied by proofs of its properties.
User: shilangyu
Home Page: http://github.shilangyu.dev/formal-lang/
programming-language-theory,Lennart Augustsson's lamda cube
User: steshaw
programming-language-theory,IU Type Theory reading group
Organization: wonks
Home Page: https://wonks.github.io/type-theory-reading-group/
programming-language-theory,C-c C-e P p >>=
User: yurrriq
Home Page: https://blorg.ericb.me
programming-language-theory,GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'
User: zeta611
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.