Beast code in Giters

Chris660's starred repositories

HiRTOS

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

Language:AdaApache-2.02800

cmake-examples

A collection of as simple as possible, modern CMake projects

Language:CMakeMIT114900

static_string

A tool for representing and concatenating strings without heap memory

Language:C++BSL-1.06200

fzf.vim

fzf :heart: vim

Language:Vim ScriptMIT955700

vim-sensible

sensible.vim: Defaults everyone can agree on

Language:Vim Script508400

boehmgc-ada

Boehm GC interface library for gcc-Ada (GNAT)

Language:Ada600

FTXUI

:computer: C++ Functional Terminal User Interface. :heart:

Language:C++MIT660100

Elymas

A programming language I can like. Unholy and full of magic.

Language:PerlNOASSERTION19300

nvim-gdb

Neovim thin wrapper for GDB, LLDB, PDB/PDB++ and BashDB

Language:Lua70200

dstask

Git powered terminal-based todo/note manager -- markdown note page per task. Single binary!

Language:GoMIT78400

just

🤖 Just a command runner

Language:RustCC0-1.01921300

tree-sitter

An incremental parsing system for programming tools

Language:RustMIT1766600

typography

Fonts, Typesetting and Rasterization.

Language:NimMIT15100

libsimpleio

Linux Simple I/O library

Language:AdaNOASSERTION2000

RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Language:AdaApache-2.010300

ada_training

Training files for Ada courses

Language:AdaGPL-2.01300

AtomVM

Tiny Erlang VM

Language:CApache-2.0143500

NimContracts

Nim Language design by contract (DbC) library.

Language:NimMIT6700

phoenix_live_view

Rich, real-time user experiences with server-rendered HTML

Language:ElixirMIT604600

vim-gitgutter

A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks.

Language:Vim ScriptMIT832600

supertab

Perform all your vim insert mode completions with Tab

Language:Vim Script317100

todo.txt

‼️ A complete primer on the whys and hows of todo.txt.

GPL-3.0236200

nim-chronos

Chronos - An efficient library for asynchronous programming

Language:NimApache-2.035300

patty

A pattern matching library for Nim

Language:NimApache-2.027300

nimgl

NimGL is a Nim library that offers bindings for popular libraries used in computer graphics

Language:NimMIT36500

stb

stb single-file public domain libraries for C/C++

Language:CNOASSERTION2607400

nes

NES emulator written in Go.

Language:GoMIT12100

gitignore

A collection of useful .gitignore templates

CC0-1.016042000

libatasmart

LIBATASMART ATA S.M.A.R.T. Reading and Parsing Library

Language:C2200

tinyrenderer

A brief computer graphics / rendering course

Language:C++NOASSERTION2006200