Beast code in Giters

belamenso's repositories

v

Write Nim only with 'v'

Language:Nim37 2 1

p5.nim

p5.js Nim bindings

Language:JavaScript3 10

projekt-po-go

Projekt na programowanie obiektowe: go

Language:Java1 1 5

quick-valgrind-howto

1 10

aiofile

Real asynchronous file operations with asyncio support.

Language:PythonNOASSERTION000

AOC_2018

Language:Python010

biomod-single-neuron

Language:Jupyter Notebook010

apalache

APALACHE: symbolic model checker for TLA+

Language:ScalaApache-2.0000

cog-psych-data-analysis

Language:Jupyter Notebook010

concurrent-programming

010

cpp-notes

010

cryptopals-solutions

010

even-pages

Language:Python000

GWAS

Genome-wide Association Study (GWAS) Tutorial

Language:R000

julia

The Julia Language: A fresh approach to technical computing.

Language:JuliaNOASSERTION000

llvm-kaleidoscope

Language:C++010

nim-syslog

Nim syslog module

Language:NimLGPL-3.0000

nim-wasm-toolkit

Language:NimMIT01 6

nim.nvim

Nim plugin for NeoVim

Language:Vim ScriptISC000

nim.vim

Nim language plugin for vim

Language:Vim ScriptMIT000

nitter

Alternative Twitter front-end

Language:NimAGPL-3.0000

ntorrent

Header-only modern C++ torrent library [in progress]

Language:C++GPL-3.0010

programming-in-haskell

Notes and exercises from Hutton's "Programming in Haskell"

010

qemu

PARSA's fork of the official QEMU repo, with all features added for simulation.

Language:CNOASSERTION000

software-foundations-solutions

Solutions for books in Software Foundations series

Language:Coq020

sudoku-toolkit

Language:Nim010

tachograph-reader

Read driver and vehicle card data and convert to a more usable XML format

Language:C#000

wyag

Write yourself a git https://wyag.thb.lt/

Language:Python010

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonUnlicense000

yt-dlp

A youtube-dl fork with additional features and fixes

Language:PythonUnlicense000