☆30Aug 27, 2024Updated last year
Alternatives and similar repositories for coding-style-checker
Users that are interested in coding-style-checker are comparing it to the libraries listed below
Sorting:
- A curated list of awesome Epitech related stuff.☆19Jan 6, 2026Updated last month
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Fundamental is the mobile wallet that puts simplicity first!☆12Jan 28, 2026Updated last month
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- ☆22Mar 20, 2024Updated last year
- Store the ATD/openapi/protobuf/... interfaces between semgrep components☆18Updated this week
- coreutils but cano! public domain 💖☆19May 31, 2024Updated last year
- ☆21Aug 13, 2024Updated last year
- Nix Packages collection used in Nubank☆33May 20, 2024Updated last year
- Existential types as a library☆35Nov 16, 2022Updated 3 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- AVD workshop repository to deliver workshop content specific to AVD.☆10Nov 4, 2025Updated 3 months ago
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Parse, manipulate, and reconstruct Nix source code with high-level abstractions.☆80Updated this week
- bayesPop R package☆11Updated this week
- This repository is an example of deploying a 3 tier ASP.NET Core application to Azure App Service and SQL Database using Bicep and Azure …☆17Feb 7, 2024Updated 2 years ago
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- ☆10Aug 7, 2025Updated 6 months ago
- ☆13Aug 10, 2024Updated last year
- My personal site.☆10Updated this week
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- ☆11Feb 8, 2026Updated 3 weeks ago
- One-stop shop for individuals exploring career advice, training opportunities, and funding to further their employment potential across t…☆11Nov 13, 2025Updated 3 months ago
- 🏴☠️ Awesome projects built during the Shift Hackathon (Nantes / 2024)☆10Jun 10, 2024Updated last year
- Code to accompany my article on Communication Between Arduinos Using I²C☆10Feb 15, 2013Updated 13 years ago
- ☆16Oct 8, 2025Updated 4 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- Moodle Atto's editor plugin for MathType, the leading formula editor and equation writer for the web by Wiris☆11Apr 14, 2025Updated 10 months ago
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Repository for the GEOS Land Data Assimilation Fixture☆12Feb 19, 2026Updated last week
- CMake dependency tracking library☆13Feb 22, 2026Updated last week
- a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]☆16Nov 27, 2025Updated 3 months ago
- XeTeX files and AppleScripts from ABA TECHSHOW 2013☆11Apr 5, 2013Updated 12 years ago
- A general, modular build system.☆18Aug 13, 2025Updated 6 months ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- A (incomplete) terminal Tetris. Written in Haskell.☆26Jan 18, 2018Updated 8 years ago
- A broken problem☆22Jan 17, 2026Updated last month
- A login manager that displays ascii art.☆10Oct 16, 2024Updated last year