ncihnegn's repositories

miranda

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020/

Language:CLicense:NOASSERTIONStargazers:45Issues:3Issues:0

arXiv-scripts

Scripts to download source from arXiv and compile into PDF

Language:PythonStargazers:1Issues:2Issues:0
Language:CMakeStargazers:1Issues:0Issues:0

abcm2ps

abcm2ps is a command line program which converts ABC to music sheet in PostScript or SVG format. It is an extension of abc2ps which may handle many voices per staff. abcm2ps is Copyright © 2014-2016 Jean-Francois Moine.

License:GPL-3.0Stargazers:0Issues:0Issues:0

austral

Systems language with linear types and capability-based security.

License:Apache-2.0Stargazers:0Issues:0Issues:0

bbl2bib

Convert biblatex .bbl to .bib

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

cgmath

A linear algebra and mathematics library for computer graphics.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:0Issues:0Issues:0

duckdb

DuckDB is an in-process SQL OLAP Database Management System

License:MITStargazers:0Issues:0Issues:0

Essentials-of-Compilation

A book about compiling Racket to x86-64 assembly

Language:TeXStargazers:0Issues:1Issues:0

flix-mode

Emacs major mode for the Flix programming language

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:1Issues:0

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

homebrew-formulae

Homebrew bottles

Language:RubyStargazers:0Issues:2Issues:0

host-port-pair

Host-port pair type

Language:RustLicense:MITStargazers:0Issues:0Issues:0

hyper

An HTTP library for Rust

License:MITStargazers:0Issues:0Issues:0

interprocess

Multifunctional cross-platform interprocess communication toolkit for Rust.

Stargazers:0Issues:0Issues:0

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

lzip-rs

lzlib (lzip compression) bindings for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:2Issues:0

nimfmt

Nim code formatter / linter / style checker

Language:NimLicense:GPL-3.0Stargazers:0Issues:0Issues:0

pip

The Python package installer

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

ray-tracer-challenge

A ray tracer in Rust, based on The Ray Tracer Challenger: A Test-Driven Guide to Your First 3D Renderer.

Language:RustStargazers:0Issues:2Issues:0

rust-rgb

struct RGB for sharing pixels between crates

Language:RustLicense:MITStargazers:0Issues:1Issues:0

semver

Parser and evaluator for Cargo's flavor of Semantic Versioning

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

starter

Starter template for LazyVim

Language:LuaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tar-rs

Tar file reading/writing for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

yaml-rust

A pure rust YAML implementation.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

zsh-dotnet-completion

Source: https://learn.microsoft.com/en-us/dotnet/core/tools/enable-tab-autocomplete

Language:ShellStargazers:0Issues:1Issues:0

zsh-theme

A (not so) minimalist zsh theme for zim

Language:ShellLicense:MITStargazers:0Issues:2Issues:2