Alternatives and similar repositories for colobot-lint

Users that are interested in colobot-lint are comparing it to the libraries listed below

• colobot / colobot-data

  View on GitHub
  Data files source for open-source Colobot: Gold Edition project developed by Epsitec and TerranovaTeam
  ☆56Jan 6, 2026Updated last month
• jaredpar / EditorUtils

  View on GitHub
  ☆39Jul 3, 2017Updated 8 years ago
• amanuellperez / mcu

  View on GitHub
  Libraries and applications for microcontrollers
  ☆10Mar 23, 2025Updated 10 months ago
• ThomasKroes / exposure-render.release110

  View on GitHub
  Automatically exported from code.google.com/p/exposure-render.release110
  ☆11Aug 6, 2021Updated 4 years ago
• saaadhu / naggy

  View on GitHub
  A live compiler diagnostics extension for Atmel Studio
  ☆18Nov 20, 2015Updated 10 years ago
• falconmasters / framework-css

  View on GitHub
  Código del tutorial: Aprende a crear tu propio Framework de CSS estilo Bootstrap | Responsive
  ☆13Feb 4, 2023Updated 3 years ago
• linoma / fb43ds

  View on GitHub
  Facebook's Client for Nintendo 3DS
  ☆12Apr 7, 2015Updated 10 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• Relfos / neo-debugger-tools

  View on GitHub
  A set of tools to develop NEO smart contracts
  ☆14Mar 1, 2018Updated 7 years ago
• giann / fourmi

  View on GitHub
  🐜 A small taskrunner written in Lua
  ☆11Mar 16, 2019Updated 6 years ago
• Andre-LA / baixada-game-jam-game

  View on GitHub
  Game made for Baixada Game Jam, written in Nelua using Raylib
  ☆11Feb 12, 2021Updated 5 years ago
• theli-ua / x7-oscar

  View on GitHub
  X7 A4Tech Oscar Mouse Editing for Linux
  ☆11Dec 14, 2012Updated 13 years ago
• tintoy / docker-machine-driver-terraform

  View on GitHub
  Docker Machine driver that uses Terraform for infrastructure provisioning
  ☆11Nov 23, 2016Updated 9 years ago
• lip6 / alliance

  View on GitHub
  Alliance VLSI CAD Tools (LIP6)
  ☆19Dec 11, 2025Updated 2 months ago
• miguelangelmagdalena / Juego3D

  View on GitHub
  Desarrollo de un juego 3d en OpenGL con C++ que era una asignación en mi universidad... Y con muchas cosas que agregar a este proyecto qu…
  ☆11Jun 20, 2017Updated 8 years ago
• sumanstats / TeXLive

  View on GitHub
  Contains TeXLive distributions with additional python-pygments library for source code highlighting and pandoc.
  ☆13May 6, 2024Updated last year
• leafo / lua-uinput

  View on GitHub
  A Lua library for creating a virtual keyboard on Linux with uinput
  ☆13May 19, 2014Updated 11 years ago
• MegaIng / tc-to-verilog

  View on GitHub
  Turing Complete circuit to verilog
  ☆13May 17, 2022Updated 3 years ago
• tamago-labs / legato-finance

  View on GitHub
  AI-powered DeFi protocol built on Move featuring non-custodial liquid staking + market prediction + more to come
  ☆13Apr 11, 2025Updated 10 months ago
• mono / gir-sharp

  View on GitHub
  C# binding generator for GIR format
  ☆12Feb 25, 2021Updated 4 years ago
• linkorb / lua-php

  View on GitHub
  Lua PHP: Library for extending your application with Lua scripts
  ☆15Jul 29, 2020Updated 5 years ago
• NtsDK / larpwriter-toolkit-nims

  View on GitHub
  Larpwriter Toolkit NIMS is a larpwriter software for rich backstory LARPs. Also this repo contains derivative projects: Measurelook - sci…
  ☆10Mar 15, 2023Updated 2 years ago
• migueldeicaza / MaterialSharp

  View on GitHub
  Material design components for iOS applications written in C#
  ☆13Apr 12, 2019Updated 6 years ago
• anvaka / sunburst

  View on GitHub
  For a given tree builds an SVG based SunBurst diagram
  ☆16Apr 18, 2025Updated 9 months ago
• cstamas / maven-indexer-examples

  View on GitHub
  Maven Indexer Examples
  ☆27Oct 13, 2020Updated 5 years ago
• JohnHind / Winsh.lua

  View on GitHub
  Windows shell scripting with Lua (was Grunt)
  ☆10Oct 20, 2014Updated 11 years ago
• gcba / estandares

  View on GitHub
  Estándares y lineamientos de experiencia digital
  ☆17Dec 17, 2025Updated last month
• kekyo / BoostForArduino

  View on GitHub
  boost library for Arduino
  ☆11Mar 27, 2021Updated 4 years ago
• ruediste / lambda-peg-parser

  View on GitHub
  Parsing Expression Grammar parser making heavy use of Java 8 lambda expressions
  ☆10Oct 29, 2016Updated 9 years ago
• jobitjoseph / FakePGA

  View on GitHub
  Simulating Verilog designs on a microcontroller
  ☆13Sep 13, 2022Updated 3 years ago
• AlexCGDesign / Efecto-hidde-menu-on-scroll

  View on GitHub
  Aprenderemos a como hacer el efecto hidde menu sin plugins
  ☆11Aug 28, 2018Updated 7 years ago
• YOURLS / YOURLS.pot

  View on GitHub
  🌍 Official YOURLS .pot file to create and maintain your own YOURLS translation
  ☆17Jan 11, 2026Updated last month
• SAP-archive / jpicus

  View on GitHub
  An I/O analysis tool that helps you analyze the I/O operations of your Java application. It addresses problems such as leaking file handl…
  ☆12Feb 28, 2020Updated 5 years ago
• wuzhouhui / ngx-hdfs

  View on GitHub
  Nginx on HDFS Module
  ☆10Jul 24, 2016Updated 9 years ago
• appden / appden.github.com

  View on GitHub
  My blog on MooTools, Apple, and whatever else amuses me
  ☆29Oct 19, 2010Updated 15 years ago
• gedeschaines / robotics-toolbox-python

  View on GitHub
  Robotics Toolbox for Python - Update 1
  ☆13Feb 19, 2021Updated 4 years ago
• forax / vmboiler

  View on GitHub
  A small library on top of ASM that generates optimistically typed bytecodes for dynamically typed JVM based languages
  ☆13May 4, 2015Updated 10 years ago
• aphofstede / codeigniter3-example

  View on GitHub
  Example project using CodeIgniter 3
  ☆13Jul 14, 2021Updated 4 years ago
• dllsystem / FreeImage

  View on GitHub
  http://freeimage.sourceforge.net/
  ☆12Jul 2, 2014Updated 11 years ago