Coder Social home page Coder Social logo

Tobias Nießen's Projects

admin icon admin

Facilitating joint collaboration amongst the TSC and CommComm

awesome-wasm-langs icon awesome-wasm-langs

😎 A curated list of languages that compile directly to or have their VMs in WebAssembly

bootstrap icon bootstrap

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

boulder icon boulder

An ACME-based certificate authority, written in Go.

btoep icon btoep

Toolset for reliably assembling files from partial transmissions 🛰️🌎

c-ares icon c-ares

A C library for asynchronous DNS requests

calculator icon calculator

Windows Calculator: A simple yet powerful calculator that ships with Windows

capnproto icon capnproto

Cap'n Proto serialization/RPC system - core tools and C++ library

cfe icon cfe

The Core Flight System (cFS) Core Flight Executive (cFE)

checkstyle icon checkstyle

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

cli icon cli

GitHub’s official command line tool

constexpr-secded icon constexpr-secded

Header-only implementation of SECDED encoding as C/C++ constant expressions

cronwrap-alert icon cronwrap-alert

Simple wrapper for cron jobs that posts alerts on error, written in Rust

cryptopp icon cryptopp

free C++ class library of cryptographic schemes

cryptpad icon cryptpad

Text editor for Windows supporting strong encryption

cubicrypt icon cubicrypt

Secure datagram transmissions over untrusted channels, designed for CubeSats 📡🔐🛰

curl icon curl

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

cvc5 icon cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.