Giters
Felix Dilke (fdilke)

fdilke

Geek Repo

32

followers

84

following

71

stars

Company:@mention springernature

Location:London, UK

Github PK Tool:Github PK Tool

Felix Dilke's starred repositories

public-apis

A collective list of free APIs

Language:PythonLicense:MITStargazers:311999Issues:4190Issues:604

vscodium

binary releases of VS Code without MS branding/telemetry/licensing

Language:ShellLicense:MITStargazers:24811Issues:213Issues:1270

Unciv

Open-source Android/Desktop remake of Civ V

Language:KotlinLicense:MPL-2.0Stargazers:8312Issues:113Issues:3932

established-remote

A list of established remote companies

Stargazers:7610Issues:339Issues:21

free-sidecar

Enable Sidecar on Unsupported iPads and Macs running iPadOS 13 and macOS Catalina

Language:SwiftLicense:GPL-3.0Stargazers:1499Issues:49Issues:179

rars

RARS -- RISC-V Assembler and Runtime Simulator

Language:JavaLicense:NOASSERTIONStargazers:1164Issues:25Issues:151

aws-toolbox

This repository contains a collection of awesome tools and scripts for Developers and Engineers seeking to automate routine tasks on AWS Cloud.

Language:PythonLicense:MITStargazers:1011Issues:39Issues:1

jamulus

Jamulus enables musicians to perform real-time jam sessions over the internet.

Language:CLicense:NOASSERTIONStargazers:988Issues:32Issues:1080

tensorflow_scala

TensorFlow API for the Scala Programming Language

Language:ScalaLicense:Apache-2.0Stargazers:936Issues:67Issues:146

Idris2-boot

A dependently typed programming language, a successor to Idris

Language:IdrisLicense:NOASSERTIONStargazers:902Issues:61Issues:185

daml

The Daml smart contract language

Language:ScalaLicense:Apache-2.0Stargazers:797Issues:32Issues:3413

Catlab.jl

A framework for applied category theory in the Julia language

Language:JuliaLicense:MITStargazers:606Issues:19Issues:364

awesome-lisp-companies

Awesome Lisp Companies

Stargazers:590Issues:46Issues:28

foundations

Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:457Issues:26Issues:23

ega

amateur translation project of Grothendieck's EGA.

Language:TeXStargazers:321Issues:29Issues:71

music-pattern-generator

Javascript MIDI Music Pattern Generator

Language:JavaScriptLicense:GPL-3.0Stargazers:320Issues:20Issues:15

idris-ct

formally verified category theory library

Language:IdrisLicense:AGPL-3.0Stargazers:253Issues:20Issues:44

Fault

a language for building system dynamic models

Language:GoLicense:MITStargazers:164Issues:7Issues:7

foundations-of-information

A book to support the INFO 200 Intellectual Foundations of Information course.

Language:ShellLicense:NOASSERTIONStargazers:138Issues:8Issues:69

haskell-editor-setup

Easy instructions for setting up Haskell editors / IDEs on any major operating system.

Language:HaskellLicense:GPL-3.0Stargazers:101Issues:12Issues:126

concur-static

Generate semi-dynamic UIs with Concur

Language:HaskellLicense:BSD-3-ClauseStargazers:58Issues:4Issues:1

acquire

Digital remake of a classic board game

Language:ScalaStargazers:20Issues:4Issues:5

linkedin-j

A Java wrapper for LinkedIn APIs.

Language:JavaStargazers:9Issues:5Issues:3

euphoria

OS X Port of Euphoria ReallySlickScreenSaver

Language:CStargazers:9Issues:1Issues:1

infinite-search

An implementation of Martin Escardo's exhaustively searchable sets in Haskell.

Language:HaskellStargazers:6Issues:0Issues:0

scala-music

Scala Music is a tool to work with music using the Scala programming language

Language:ScalaLicense:MITStargazers:5Issues:2Issues:0

scala-music-school

A playground to follow the book "The haskell school of music" using scala.

Language:ScalaStargazers:3Issues:2Issues:0

hylochain

Construction of Cell Functor, the main entry point for HGTP

Language:TeXStargazers:2Issues:2Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:1Issues:2Issues:0

sage-weave

Sage-weave is a tool that allows embedding Sage code in LaTeX documents.

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