#

programming-languages

Here are 579 public repositories matching this topic...

steshaw / plt

Star

λΠ Programming Language Theory

functional-programming logic type-theory category-theory programming-languages proof-theory

Updated Jul 9, 2020
CSS

rubinius / rubinius

Star

The Rubinius Language Platform

virtual-machine rubinius programming-languages

Updated May 24, 2020
C

goq / telegram-list

Star

List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов

Updated Sep 15, 2020

NARKOZ / guides

Star

Design and development guides

api coding-conventions design development awesome best-practices programming-languages guidelines styleguides

Updated Sep 1, 2020

toutiaoio / weekly.manong.io

Star

码农周刊 - 史上最全的编程学习资料合集（持续更新）

programming architecture artificial-intelligence programming-languages weekly programming-tools awesome-lists

Updated Sep 16, 2020

VPanjeta / ModiScript

Star

Acche din aa gaye

python language programming-language syntax fun tree programming compiler esoteric-language ast programming-languages esoteric hindi esoteric-programming-language modi modiscript esoteric-interpreter

Updated Aug 19, 2020
Python

plfa / plfa.github.io

Star

Introduction to programming language theory in Agda

book proof-assistant programming-languages

Updated Sep 17, 2020
Agda

bartdag / py4j

Star

Py4J enables Python programs to dynamically access arbitrary Java objects

python java distributed-systems programming-languages

Updated Sep 7, 2020
Java

programming-language-subreddits-and-their-choice-of-words

Dobiasd / programming-language-subreddits-and-their-choice-of-words

Star

How do the different communities talk?

social fun reddit programming-languages

Updated Jul 7, 2016
Python

stackvana / microcule

Star

SDK and CLI for spawning streaming stateless HTTP microservices in multiple programming languages

microservices serverless functions faas programming-languages node-middleware microservice-request microservice-errors

Updated Apr 29, 2019
JavaScript

shining1984 / PL-Compiler-Resource

Star

程序语言与编译技术相关资料（持续更新中）

blog journal course compiler runtime book conference virtual-machine paper programming-languages software-analysis compilers-design

Updated Sep 11, 2020

codespan

brendanzab / codespan

Star

Beautiful diagnostic reporting for text-based programming languages.

rust terminal programming-languages diagnostics source-code error-reporting

Updated Sep 16, 2020
Rust

freddiev4 / dailyprogrammerchallenges

Star

Bank of challenges & solutions from r/dailyprogrammer for people learning to program

reddit dailyprogrammer programming-languages programming-exercise programming-challenges

Updated Oct 22, 2017
C

concurrency-glossary

slikts / concurrency-glossary

Star

🦑 Informal definitions of terms used in concurrency modeling

computer-science concurrency parallelism programming-languages terminology

Updated Jun 1, 2020
HTML

sample-programs

TheRenegadeCoder / sample-programs

Star

Open

Add Hello World in Modula 2

1

jrg94 commented Apr 23, 2020

Also, got this from Ben (see #1868).

If possible, please provide a link(s) to the language documentation to prove its existence:

https://example-lang.com

If possible, please provide a code snippet of Hello World in the language:

MODULE HelloWorld;
IMPORT IO, PRINTF;
BEGIN
  (* Two different ways *)
  PRINTF.PrintF1(%s", "Hello world!");
  IO.WrStr("Hello world!" + CHR

Read more

enhancement good first issue hello world

Open

Add Hello World in AutoHotKey

1

Open

Add Hello World in Assembler Using Debug.exe

1

Find more good first issues →

dundalek / awesome-lisp-languages

Star

A list of Lisp-flavored programming languages

awesome lisp programming-languages awesome-list lisp-languages

Updated Apr 14, 2020

vladimirvivien / learning-go

Star

Source code repository for my book "Learning Go Programming"

go golang learning programming coding programming-languages golang-book

Updated Aug 22, 2020
Go

onux / jspp

Star

JS++, a sound static/dynamic programming language for web development

nodejs javascript language programming-language js programming-languages languages node-js jspp

Updated Dec 18, 2018
JavaScript

iteachmachines / Free-Computer-Science-University

Star

So after watching all the resources i thaught to put all the important technical courses in one place.And help those people who wants to learn computer science.All the courses are free here.

computer-science open-source education programming-languages awesome-list computer-science-education computer-science-studies

Updated Oct 20, 2018

programming-languages-influence

yaph / programming-languages-influence

Star

Code to retrieve data for the programming languages influence visualizations from Freebase

visualization python computer-science graph network data-visualization influence programming-languages freebase network-analysis sigma

Updated Sep 11, 2014
Python

s-tikhomirov / smart-contract-languages

Star

A curated collection of resources on smart contract programming languages

smart-contracts programming-languages

Updated Aug 28, 2020

ad-si / RosettaGit

Star

Solutions to tasks in over 700 programming languages

comparison polyglot programming-languages omniglot chrestomathy

Updated Jan 10, 2020
HTML

ilya-klyuchnikov / tapl-scala

Star

Code from the book "Types and Programming Languages" in Scala

programming-languages tapl type-checking type-inference

Updated Apr 15, 2020
Scala

cogent

NICTA / cogent

Star

Cogent Project

verification programming-languages file-systems isabelle-hol co-generation

Updated Sep 17, 2020
Isabelle

qwertie / ecsharp

Star

Home of LoycCore, the LES language of Loyc trees, the Enhanced C# parser, the LeMP macro preprocessor, and the LLLPG parser generator.

syntax visual-studio csharp math dotnet geometry parser-generator preprocessor programming-languages collections persistent-data-structure lemp heap-tree generic-collections bplus-tree trie-data-structure syntax-trees semipersistent-data-structure

Updated Aug 31, 2020
C#

Fiona1729 / owoScript

Star

An OwO based, stack-oriented programming language

python programming-language python3 programming-languages esoteric-programming-language owo antlr4-grammar owo-whats-this antlr4-python3

Updated Jun 6, 2019
Python

PlasmaLang / plasma

Star

Plasma Programming Language

programming-language bytecode functional-programming plasma concurrency parallel-computing parallelism programming-languages parallel-programming plasma-compiler parallelisation

Updated Sep 17, 2020
Mercury

One-Language / One

Star

OneLang: The One System Programming Language. (release as soon)

language programming-language open-source programming compiler programming-languages compilers self-hosting compiler-designs one open-source-project compiler-design compiler-optimization compiler-optimizations compiler-frontend compiler-tool compiler-backend compilers-design one-lang onelang

Updated Jul 11, 2019

famzah / langs-performance

Star

C++ vs. Python vs. Perl vs. PHP vs. Java vs. NodeJS vs. Go vs. Ruby vs. Rust vs. Swift vs. D performance benchmark

nodejs ruby python java swift golang php cpp perl rust-lang programming-languages benchmarks dlang2 dlanguage

Updated Jan 3, 2020
Perl

wdv4758h / notes

Star

let me know if my notes help you :D (it's a mess, I know)

Updated Aug 14, 2020
C++

Improve this page

Add a description, image, and links to the programming-languages topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the programming-languages topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.