ankiedos

ankiedos's Stars

• ethereum/go-ethereum

  Go implementation of the Ethereum protocol

  Language:Go47.3k2.2k8.1k20k

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34k35911.3k2.5k

• frappe/erpnext

  Free and Open Source Enterprise Resource Planning (ERP)

  Language:Python20.8k62215.5k7.1k

• ForrestKnight/open-source-cs

  Video discussing this curriculum:

  19.6k1k613k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k99190397

• ponylang/ponyc

  Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  Language:C5.7k1431.9k409

• apache/groovy

  Apache Groovy: A powerful multi-faceted programming language for the JVM platform

  Language:Java5.2k23001.9k

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k651.8k404

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k792.7k258

• terralang/terra

  Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

  Language:C++2.7k94398198

• IoLanguage/io

  Io programming language. Inspired by Self, Smalltalk and LISP.

  Language:C2.7k128268298

• grame-cncm/faust

  Functional programming language for signal processing and sound synthesis

  Language:C++2.5k88601319

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k641.2k375

• aardappel/lobster

  The Lobster Programming Language

  Language:C++2.3k56158120

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k243.5k151

• LuxLang/lux

  The Lux Programming Language

  Language:Emacs Lisp1.7k663550

• ring-lang/ring

  Simple and flexible programming language for applications development

  Language:C1.3k1010433

• TYPO3/typo3

  The TYPO3 Core - Enterprise Content Management System. Synchronized mirror of https://review.typo3.org/q/project:Packages/TYPO3.CMS

  Language:PHP1k1090656

• objectionary/eo

  EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-calculus

  Language:Java1k371.6k126

• vczh/tinymoe

  English-like dynamic typing programming language

  Language:C++9231464198

• wmww/Pinecone

  An unmaintained programming language

  Language:C++8665028115

• mirah/mirah

  The Mirah Programming Language

  Language:HTML8624031161

• boo-lang/boo

  The Boo Programming Language.

  Language:C#85867116146

• mtotschnig/MyExpenses

  GPL licenced Android Expense Tracking App

  Language:Kotlin810171.4k217

• ccrma/chuck

  ChucK Music Programming Language

  Language:C++80958264129

• hanabi1224/Programming-Language-Benchmarks

  Yet another implementation of computer language benchmarks game

  Language:C#6401879134

• SMLFamily/Successor-ML

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  Language:TeX191554410

• cuberite/android

  Official Android app for Cuberite

  Language:Kotlin8613227

• MasaCMS/MasaCMS

  MASA CMS is an Enterprise Content Management platform based on open source technology.

  Language:ColdFusion711910335

• eikek/dlm

  download manager for the command line

  Language:Common Lisp220