etrian-dev

etrian-dev's Stars

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.6k1.1k

• lillo/compiler-course-unipi

  Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI

  Language:OCaml347

• freeciv/freeciv

  Freeciv is a Free and Open Source empire-building strategy game inspired by the history of human civilization. Upstream repository for the standalone Freeciv client and server. Report bugs and submit patches at https://osdn.net/projects/freeciv/ticket/

  Language:C1.3k226

• standardese/standardese

  A (work-in-progress) nextgen Doxygen for C++

  Language:C++94745

• doctest/doctest

  The fastest feature-rich C++11/14/17/20/23 single-header testing framework

  Language:C++6k649

• fffaraz/awesome-cpp

  A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

  60.9k7.9k

• snitch-org/snitch

  Lightweight C++20 testing framework.

  Language:C++27310

• mirage/alcotest

  A lightweight and colourful test framework

  Language:OCaml46080

• strictdoc-project/strictdoc

  Software for technical documentation and requirements management.

  Language:Python16026

• opensmiles/OpenSMILES

  The OpenSMILES specification

  Language:HTML194

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.5k1.5k

• spotbugs/spotbugs

  SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

  Language:Java3.5k601

• cjlin1/libsvm

  LIBSVM -- A Library for Support Vector Machines

  Language:Java4.6k1.6k

• FreyaHolmer/Mathfs

  Expanded Math Functionality for Unity

  Language:C#2.5k179

• TheClaud99/LBD2122

  Progetto musei Laboratorio di basi di dati 2021/2022

  Language:PLSQL2

• rui314/chibicc

  A small C compiler

  Language:C9.8k890

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.6k478

• aurasphere/gomorra-sql

  SQL made uagliò.

  Language:CSS1.3k24

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML9.2k1.1k

• danielemazzei/Appunti-PI-UNIPI

  Interfaces course notes at UniPi

  Language:TeX105

• ariya/FastLZ

  Small & portable byte-aligned LZ77 compression

  Language:C44885

• mikepound/feistel

  A toy Feistel network implementation

  Language:Python11820

• htop-dev/htop

  htop - an interactive process viewer

  Language:C6.7k442

• uutils/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  Language:Rust17.9k1.3k

• msteinert/bstring

  A fork of Paul Hsieh's Better String Library

  Language:C14124