Programming Languages
22,646 items in 77 lists
-
Skid github.com
Simple, single-file portable CLI utility for configuration templating.
-
Turtle github.com
Uses long-term storage for memory use.
-
Tru github.com
A stack-based language with prefix-free brackets.
-
Mini-Rubik github.com
Coq formalization and solver of the 2x2x2 version of the Rubik's Cube puzzle.
-
MathComp Extra github.com
Extra material for the Mathematical Components library, including the AKS primality test and RSA encryption and decryption.
-
Tree Sitter Rocq github.com
Partial Rocq tree-sitter grammar useful for syntax highlighting in text editors like Helix, but not recommended for full parsing of Rocq code.
-
Poly Bridge github.com
The first Cross-Chain Bridge between Move and EVM. Deployed on Starcoin.
-
vstats github.com
A dependency-free Linear Algebra, Statistics, and Machine Learning library written from scratch in V.
-
vitric github.com
A transparent IRC library.
-
winreg github.com
MS Windows Registry API. (WIP)
-
vab-sdl github.com
Standalone and extra command for vab to build and package SDL2 and SDL3 based applications importing vlang/sdl.
-
lexical_uuid github.com
Lexicographically-sortable universally unique identifiers.
-
create-vlang-app github.com
A V-native scaffolding CLI to generate production-ready V projects from composable templates and extensions.
-
V-crypto github.com
Implementation of additional cryptographic algorithms.
-
MVU.v github.com
MVU pattern (The Elm Architecture) implemented in V programming language.
-
vord github.com
Library for interacting with user account endpoints and gateway (Self-bots, custom clients, etc).
-
html2imba github.com
-
stm32-ui github.com
STM32 UI library and tools (graphs, images, 12 hour clock).
-
anagram github.com
Grammar handling and parser generation Ada library.
-
ada-pretty github.com
Pretty printing library for Ada.
-
ada-soundio github.com
Ada bindings for libsoundio.
-
agpl github.com
Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).
-
ada4cmake github.com
CMake macros for simple gnat project inclusion.
-
ada-ogl github.com
Ada OpenGL Framework.
-
lalg github.com
Interface to dense linear algebra packages.
-
chests github.com
Bounded containers for embedded systems.
-
mars-mpl github.com
Mars Polar Lander (Crash) Simulator (gtkada, aicwl).
-
ada-sodoku github.com
Small Library for Sodoku grid solving / finding.
-
ada-bundler github.com
Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows.
-
rufas-cube github.com
RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister).
-
solenoid-engine-controller github.com
Software controller for solenoid engines (Ada/STM32F4).
-
yotroc github.com
Assembler/Emulator for a fictional CPU architecture. IDE implemented in gtkada.
-
imgui-ada github.com
Ada binding of the ImGui library.
-
tp7-ada-gnoga github.com
Implementation of Turbo Pascal 7.0 units with gnoga.
-
buttons github.com
A simple gtkada Button Mania game.
-
simple-logging github.com
Easy to use logging facilities for output to console in Ada programs.
-
railway-simulation github.com
Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.
-
gnat-ce (discontinued) github.com
GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only.
-
cl-mpg123 github.com
-
qldeb github.com
-
cl-webapp-seed github.com
-
djula-template-designer github.com
-
make-common-lisp-program github.com
-
DRef github.com
-
csv-validator github.com
-
paren-jquery github.com
-
peercoin-vote github.com
-
peercoin-blockchain-parser github.com
-
common-lisp-heroku-example github.com
-
texp github.com
- next page of items loading…
