programming-language-theory

There are 5 repositories under programming-language-theory topic.

• github / CodeSearchNet

  Datasets, tools, and benchmarks for representation learning of code.

  deep-learningnatural-language-processingprogramming-language-theorymachine-learningtensorflowdatasetsdata-sciencemachine-learning-on-source-coderepresentation-learningneural-networkspythonmlopen-datadatacnnrnnself-attentionbertnlpnlp-machine-learning
  Language:Jupyter Notebook 2371

• imteekay / programming-language-research

  ✨ Programming Language Research, Applied PLT & Compilers

  compilercompiler-designpltprogramming-language-theoryprogramming-languages-design
  Language:Clojure 919
• tree-hugger

  autosoft-dev / tree-hugger

  A light-weight, extendable, high level, universal code parser built on top of tree-sitter

  pythonparsingtree-sittercliastlanguagesparseruniversalpython-bindingmachine-learning-on-source-codeprogramming-language-theorydata-miningcode-miningjavajavascriptcppphp
  Language:Python 128
• plt-formal-methods-resources

  SatyendraBanjare / plt-formal-methods-resources

  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.

  programming-language-theoryformal-verificationformal-methodssoftware-verificationresearch-papersat-solversmt-solvercoqz3quantum-programming-languageideasworthsharingstartupideasentrepreneurshipresearch-dataresearch-software-engineering
  61

• imteekay / crafting-an-interpreter

  Crafting an interpreter/compiler with TypeScript.

  compilerscompiler-designcompiler-constructionprogramming-language-theorytypescriptjavascript
  Language:TypeScript 51

• komninoschatzipapas / psi

  WIP ISO 7185 Pascal interpreter

  interpreterprogramming-language-theorypascalpascal-interpretercompiler
  Language:TypeScript 48

• cratelyn / j

  💐 j is a subset of J, and an essay.

  aplarray-programmingjkperformance-artprogramming-language-conceptsprogramming-language-theoryrust
  Language:Rust 40

• imteekay / mini-typescript

  A miniature model of the Typescript compiler

  compilercompiler-constructionprogramming-language-theorytype-systemtypescript
  Language:TypeScript 35

• ayazhafiz / plts

  A collection of programming languages and type systems.

  programming-language-theorytype-systemsprogramming-languagecompilerinterpreter
  Language:OCaml 33

• dannypsnl / plt-research

  A collection of PLT researching

  programming-language-theorytype-system
  Language:Racket 29

• mertcandav / pltr

  Turkish resource for PLT (Programming Language Theory)

  turkishcompilerguideinterpreterprogramming-language-theorytranspiler
  Language:Python 19
• DotWhitespace

  BaseMax / DotWhitespace

  DotWhitespace is an esoteric programming language using Python.

  programming-languageprogramming-language-theoryprogramming-language-conceptsprogramming-language-developmentprogramming-language-designinterpreterinterpreter-basicinterpreter-pythonpythondotwhitespacewhitespace-languagewhitespace-interpreterwhitespacewhitespace-normalization
  Language:Python 16
• tako

  Cypher1 / tako

  An experimental programming language for ergonomic software verification

  experimental-programming-languageverificationhoare-triplessolverlanguageinterpreterprogramming-language-theory
  Language:Rust 16

• chihyang / eopl3_zh

  Chinese translation of Essential of Programming Languages 3rd Edition

  programming-language-theory
  Language:Racket 15

• HiiGHoVuTi / Catrina

  a categorical programming language (WIP)

  category-theoryfunctional-programmingprogramming-languageprogramming-language-theory
  Language:Haskell 15

• marcoonroad / moonforth

  My own Forth dialect on top of the Lua programming language. [Work in Progress]

  forthluaprogramming-languageinterpretercompilerreplprogramming-language-theory
  Language:Lua 15

• milesbarr / hindley-milner-in-python

  Hindley–Milner type inference implemented in Python.

  hindley-milnerpythontype-systemtype-systemsprogramming-language-designprogramming-language-theory
  Language:Python 13

• steshaw / lennart-lambda-cube

  Lennart Augustsson's lamda cube

  dependent-typeslambda-cubeprogramming-languagesprogramming-language-theory
  Language:Haskell 12

• azdavis / coc

  The calculus of constructions

  rustprogramming-language-theory
  Language:Rust 9

• Carnagion / lamb

  Pure untyped lambda calculus in safe Rust.

  functional-programminginterpreterlambda-calculuslambda-calculus-evaluatorlambda-calculus-interpretermathematicsparserprogramming-language-developmentprogramming-language-theoryrepl
  Language:Rust 7

• jchenche / compiler

  A complete compiler for an object-oriented language with static typing

  compilerautomata-theoryprogramming-language-theory
  Language:C++ 7

• JonnyKong / Coursera-ProgrammingLanguagesUW

  Coursera: Programming Languages, Univ. of Washington

  functional-programmingprogramming-language-theoryracketrubysml
  Language:Standard ML 7

• manelli / plt

  Programming language theory resources

  compilersinterpreterspltprogramming-languageprogramming-language-theory
  7

• sd-visualiser / sd-visualiser

  String diagram visualiser

  compiler-pluginlamda-calculusmlirprogramming-language-theorystring-diagramstring-diagrams
  Language:Rust 6

• marcoonroad / ownership-disciplines

  My own personal list of ownership policies. :microscope: :books: :question: :thinking: [Work in Progress]

  ownershipownership-objectsownership-typestype-systemprogramming-language-theoryownership-policiesownership-disciplinetype-theory
  Language:Ruby 5

• severen / sly

  A cunning interpreter for the pure untyped λ-calculus.

  haskellinterpreterlambda-calculuscomputability-theoryfunctional-programmingprogramming-languageprogramming-language-theorylanguage
  Language:Haskell 5

• wonks / type-theory-reading-group

  IU Type Theory reading group

  type-theoryhomotopy-type-theorylogicdependent-typesprogramming-language-theorycategory-theory
  Language:HTML 5

• DanielGunna / CYK-Binary-Normal-Form

  The Cocke-Younger-Kasami algorithm implementation proposed by Lange-Leiss that handles grammars on 2NF(Binary Normal Form) instead of CNF(Chomsky Normal Form).

  cyk-algorithmcykbinary-normal-form2nfcnf-grammergrammar-checkergrammarprogramming-language-theoryteoria-da-computacao
  Language:Java 4

• chihyang / eopl3

  Work on Essentials of Programming Languages edition 3

  programming-language-theoryscheme-interpreter
  Language:Scheme 3

• ignaciomosca / EOPL-Scala

  Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/) in Scala

  eoplprogramming-language-theoryprogramming-language-conceptsscala
  Language:Scala 2

• jahin07 / compiler

  This is a compiler in Java using the ASM byte code framework for code generation in Java Byte Code.

  javacompiler-designprogramming-languageprogramming-language-theory
  Language:Java 2

• Mari-W / System-Fo

  formal proof of type preservation of the dictionary passing transform for system f

  agdaprogramming-language-theoryproofs
  Language:Agda 2

• fk0225 / AFL-Programming-Language

  A repository containing the definition and implementation of a statically typed, purely functional language of my design and creation.

  programming-language-developmentprogramming-language-theoryprogramming-languages
  Language:Haskell 1

• kingyong9169 / CS_HW

  💻소프트웨어학과 전공 과제 저장소

  webaialgorithmcompilerosooadcomputer-graphicssystem-programmingdata-structuresprogramming-language-theorydatabase-system
  Language:C 1

• Mari-W / PolyVGR

  proof of concept for polymorphic imperative session types

  programming-language-theorysession-types
  Language:Haskell 1

• shilangyu / formal-lang

  A formal definition of a language accompanied by proofs of its properties.

  formal-verificationmemory-safetyprogramming-language-theoryleanstainless
  Language:TeX 1