Git Product home page Git Product logo

Nico D'Cotta's Projects

arrow icon arrow

Functional companion to Kotlin's Standard Library

articles icon articles

Some thoughts on Software Engineering in general

articletemplate icon articletemplate

LaTeX single-column article template that I use for university courseworks

checkm8-public icon checkm8-public

Our solution the Imperial Colellege Computing dept. first year end of year project, an ARM emulator and assembler, along with its extension, an autonomous chess player powered by computer vision and AlphaZero

confis icon confis

A framework for specifying and querying legal contracts

consul icon consul

Consul is a distributed, highly available, and data center aware solution to connect and configure applications across dynamic, distributed infrastructure.

hash2slash icon hash2slash

Tiny Nix utility to write nix shell scripts for `//` languages

haskelltemp icon haskelltemp

Pet haskell directory where I can easily try things out. Also a template to set up a Stack environment that works well with IDEA

home-nix icon home-nix

My dotfiles and Nix packages and overlays to configure my systems

ichack2019 icon ichack2019

Our candidate for the student hackathon ICHack '19, an AR-powered learning tool

ivann icon ivann

Visual tool for building neural networks with PyTorch, and generating code in Python in order to train and test them.

keep icon keep

Kotlin Evolution and Enhancement Process

keep213-transpiler icon keep213-transpiler

A simple transpiler from Kotlin (as suggested in KEEP 213) to vanilla Kotlin (WIP)

kimage-recognition icon kimage-recognition

Experiment where I build a CNN from scratch, mainly as a learning process to fundamentally understand the math behind neural nets (WIP!)

ktlint icon ktlint

An anti-bikeshedding Kotlin linter with built-in formatter

lemmy icon lemmy

🐀 A link aggregator and forum for the fediverse (prometheus build)

leng icon leng

:zap: fast dns server, built to block advertisements and malware servers

linuxkit icon linuxkit

A toolkit for building secure, portable and lean operating systems for containers (prefix fork)

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.