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 2385

• imteekay / programming-language-research

  ✨ Programming Language Research, Applied PLT & Compilers

  programming-language-theoryprogramming-languages-designpltcompilercompiler-design
  Language:Clojure 948
• tree-hugger

  autosoft-dev / tree-hugger

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

  astclicode-miningcppdata-miningjavajavascriptlanguagesmachine-learning-on-source-codeparserparsingphpprogramming-language-theorypythonpython-bindingtree-sitteruniversal
  Language:Python 129
• 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 53

• cratelyn / j

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

  aplarray-programmingjkprogramming-language-conceptsprogramming-language-theoryrustperformance-art
  Language:Rust 51

• komninoschatzipapas / psi

  WIP ISO 7185 Pascal interpreter

  interpreterprogramming-language-theorypascalpascal-interpretercompiler
  Language:TypeScript 48

• 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.

  compilerinterpreterprogramming-languageprogramming-language-theorytype-systems
  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 21

• chihyang / eopl3_zh

  Chinese translation of Essential of Programming Languages 3rd Edition

  programming-language-theory
  Language:Racket 17
• 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

• 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

• sd-visualiser / sd-visualiser

  String diagram visualiser

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

• milesbarr / hindley-milner-in-python

  Hindley–Milner type inference implemented in Python.

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

• PnVDiscord / software-foundations-lean

  📚 (WIP) Rewriting Software Foundations in Lean 4

  formal-verificationleanprogramming-language-theorysoftware-foundations
  Language:Lean 12

• 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

• JonnyKong / Coursera-ProgrammingLanguagesUW

  Coursera: Programming Languages, Univ. of Washington

  functional-programmingsmlprogramming-language-theoryracketruby
  Language:Standard ML 8

• manelli / plt

  Programming language theory resources

  programming-languageprogramming-language-theorypltcompilersinterpreters
  8

• tixonochekAscended / mini-rip

  🪨 A minimal, esoteric, interpreted programming language with magical sigils that execute code.

  esotericesoteric-programmingesoteric-programming-languageesoteric-programming-languageslanguageminimalminimal-languageprogrammingprogramming-languageprogramming-language-developmentprogramming-language-theoryprogramming-languagesscriptscriptingscripting-languagescripting-languages
  Language:Lua 8

• 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

• marcoonroad / ownership-disciplines

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

  ownershipownership-disciplineownership-objectsownership-policiesownership-typesprogramming-language-theorytype-systemtype-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).

  2nfbinary-normal-formcnf-grammercykcyk-algorithmgrammargrammar-checkerprogramming-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

• meowesque / langdev.blog

  Community Journal for Programming Language Theory and Development

  langdevlanguage-developmentprogramming-language-developmentprogramming-language-theoryrustlang-devtype-theory
  Language:Rust 2

• shilangyu / formal-lang

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

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