Programming Languages

43 projects

Showing 7 of 43 projects

Coq formalizations for a course on mechanized semantics, covering imperative/functional languages, compilers, static analysis, and program logics.

#hoare-logic#semantics#functional-programming

Stars71

Forks5

Last commit2 years ago

Awesome Elm PLTD

A curated collection of programming language theory and development projects, packages, and resources written in Elm.

#parsing#functional-programming#interpreters

Stars46

Forks3

Last commit1 year ago

hot.nvimLua

A zero-dependency hot reloader for Neovim that works with any programming language and includes browser live reloading.

#developer-tools#workflow-automation#zero-dependencies

Stars28

Forks1

Last commit2 years ago

linguist.crCrystal

A Crystal implementation of GitHub's Linguist for detecting programming languages in files and repositories.

#syntax-highlighting#linguist#programming-languages

Stars12

Forks2

Last commit6 years ago

treesitter-outerScheme

A Neovim plugin that uses Tree-sitter to jump to outer syntax nodes in programming languages like Lua, Python, and more.

#vim-motions#neovim-plugin#tree-sitter

Stars10

Forks1

Last commit2 years ago

chaffeeShell

A Zsh theme that displays installed programming language versions in the shell prompt.

#developer-tools#shell-prompt#terminal

Stars6

Forks0

Last commit23 days ago

shinkansenShell

A fast, customizable, and easily expandable terminal theme for ZSH with extensive language and tool support.

#developer-tools#shell-prompt#iterm2

Stars1

Forks2

Last commit1 year ago

PreviousPage 2 of 2

Related Tags

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub