jflopezfernandez Goto Github PK

communicator

Bandwidth application for webhooking anything and everything

compiler

compress

Command-line compression utility

configuration-files

My customized .vimrc file.

copy

A file copy utility with additional functionality for byte-manipulation.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-math-modules

Math proofs and modules written for Coq

core

The core Codidact Q&A software implementation

coreutils

upstream mirror

cpcpcpcpcpcpcp

cpp-standard-lib

Repository for working examples from "The C++ Standard Library" by Nicolai M. Josuttis (2011)

cpp-test-bench

cpp-winrt-test

Testing the new Microsoft C++ WinRT system

cppcistack

C++ CI: Travis, CMake, GTest, Coveralls

cppstdlib-iostreams

Experimenting with IO streams from "The C++ Standard Library" by N. Josuttis

cross-platform-build-test-cpp

Windows-Linux Cross Compatibility Test with CMake, Intel C++ Compiler

cse2010termproject

csolver

C Program to solve systems of linear equations

curl

A command line tool and library for transferring data with URL syntax, supporting HTTP, HTTPS, FTP, FTPS, GOPHER, TFTP, SCP, SFTP, SMB, TELNET, DICT, LDAP, LDAPS, MQTT, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features

d3d

DirectX Subsystem

data

Sample data generator written in C++.

data-structures-and-algorithms-in-c

Data Structures and Algorithms in C

datapoint-generator-gui

GUI program to generate custom data points or randomized bulk datasets.

dcp

Digest, stat, and copy files from one location to another in the same read pass

dec2bin

Decimal to binary command-line conversion utility.

design-patterns-observer

Observer design pattern testing ground in C++

devtools-cpp-newfile

Command line application that creates new headers and source files based on the command line parameters passed in

dice

Dice tool for RPGs and board games

digger

digital

A digital logic designer and circuit simulator.