lokapal-xyz/foundations

Philosophical foundations of decentralization. Conciliatorics explores the reconciliation of interstitial and intrinsic aspects of systems, culminating in a defense of decentralization.

Language: HTML - Size: 7.17 MB - Last synced at: 36 minutes ago - Pushed at: about 2 hours ago - Stars: 0 - Forks: 0

UniMath/UniMath

This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language: Coq - Size: 66 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 983 - Forks: 176

NewDesignFile/foundations

New UI framework for makers who refuse to leave semantic syntax

Language: SCSS - Size: 206 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1 - Forks: 0

Salgado2004/GitHub_Foundations_Exam_Prep

A comprehensive study guide for the GitHub Foundations Certification exam to help your preparation to get certified

Size: 54.7 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 5 - Forks: 0

moocf/merge-sort.elm

Merge sort is an efficient, general-purpose, comparison-based sorting algorithm.

Language: HTML - Size: 41 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Punderthings/fossfoundation

Directory of non-profit FOSS Foundations, with detailed metadata.

Language: HTML - Size: 1.19 MB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 23 - Forks: 17

maboglia/Fondamenti

Size: 17.8 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 11 - Forks: 4

ualib/agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

Language: Agda - Size: 65 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 33 - Forks: 7

maitraargho/odin-recipes

A Basic Recipe Website

Language: HTML - Size: 233 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

python-usergroup-belgium/.github

About the group.

Language: Python - Size: 48.8 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

imboogieman/Boris-Boarman

Boris Boarman helps with crypto foundations grants and bounties programs

Language: Python - Size: 63 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

robmelfi/react-foundations

Language: JavaScript - Size: 121 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

orghmaitr/landing-page

An Entire Web Page From a Design

Language: CSS - Size: 26.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

orghmaitr/etch-a-sketch

Something Between a Sketchpad and an Etch-A-Sketch

Language: JavaScript - Size: 883 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

orghmaitr/calculator

An On-Screen Calculator

Language: JavaScript - Size: 1.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

LuisGarrillo/odin-landing-page

Language: CSS - Size: 7.35 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

scottwillmoore/nix-foundations

Language: Nix - Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

orghmaitr/rock-paper-scissors

An Implementation of Rock Paper Scissors

Language: JavaScript - Size: 3.51 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

tictools/javascript-foundations

Javascript foundations

Language: TypeScript - Size: 343 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

orghmaitr/odin-recipes

A Basic Recipe Website

Language: HTML - Size: 11.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

code-warrior/examples--foundations--mwd-110--uhart--spring-2020

Language: HTML - Size: 4.16 MB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 3

code-warrior/assignment-5--foundations--mwd-110--fall-2019

Language: HTML - Size: 41.1 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

smartergiving/foundation-website-template

A powerful yet simple Jekyll template to help progressive grantmakers of all sizes improve their online presence

Language: CSS - Size: 1.92 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 13 - Forks: 6

khowailid/myBack-Endpath

Intensive practical training courses taught by a software expert with 30 years of experience.

Language: C++ - Size: 1.58 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SOM-Research/OSSFoundations

Results of our analysis on Open Source Foundations

Language: Vue - Size: 11.2 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 2

msil2/SANS-Foundations

Applied learning from SANS SEC275: Foundations.

Size: 23.4 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Project-Herophilus/ApplicationFramework-HDF

Application Framework for HDF (Healthcare Data Foundation) is intended to be a place where ANY applications that can process data can reside. Most commonly used here in healthcare are assets for dynamic routing, terminology processing, data tagging, and these type of activities.

Language: Java - Size: 51.4 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 3

JorgeAlcaras/cpp-foundations

🚀 Repository containing C++ exercises on fundamental programming principles completed during university. Explore and enhance your programming skills!

Language: C++ - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

nestjslatam/iluvcoffe-foundations

A simple sample applying graphql code first approach with NESTJS

Language: TypeScript - Size: 540 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Matt-Stammers/Python-Foundations

This is the more advanced Python repository for growing Clinician_Developers

Language: Python - Size: 186 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

enshankar/BigProof

Collaborative repo for Big Proof Programme at the Isaac Newton Institute, Jun 26 to Aug 4, 2017

Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

modfun/landing-page

The Odin project's foundation project for The flex box model

Language: CSS - Size: 174 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

cristine-eross/blog-vanilla

I'm building a blog application for my articles, and the first step was to create a base structure and CSS. Later I will use this, to create the same look within ReactJS.

Language: HTML - Size: 272 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

utv-teaching/foundations-computer-science-2015

Foundations of Computer Science 2015/2016 - BSc Computer Science Engineering, University of Rome Tor Vergata

Language: Python - Size: 7.54 MB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

diogo-alves/certificacao-oci-foundations

Preparatório para o exame de certificação Oracle Cloud Infrastructure Foundations Associate

Size: 28.3 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 0

strake/category.agda

Formulation of category theory in Agda

Language: Agda - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

numoonchld/rust-essentials

Language: Rust - Size: 43 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

amanda-windsor/AmandasZoo

Language: Python - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

baro77/FoC-LaTeXized-ERRATA

Oded Goldreich's Foundations of Cryptography Errata edited in a LaTeX document

Language: TeX - Size: 578 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

DoronBrayer/repo-template

A description about the project

Language: HTML - Size: 154 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

anthonycornner/sample-landing-page-OdinProject

Sample Landing Page Assignment from The Odin Project

Language: CSS - Size: 14.1 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

coledixon/reponsive_photosharing_mobile_app

modals for team built responsive photo-sharing mobile application (HTML5 / CSS3 / Foundations / Handlebars / node.js)

Language: HTML - Size: 8.79 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

JohnFromSpace/Foundations-in-programming-in-CPP-

This is a repo that has many basic functions and tasks for many university and school projets that can be used for learning C++. To be updated.

Language: C++ - Size: 23.4 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

ratilicus/x4

X4 Foundations modding

Language: Python - Size: 165 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

UBC-MDS/foundation-shades-pydash

Foundation Shades Across the Globe App. Cosmetics data visualization dashboard built with Dash for studying the best selling brands across US, Japan, Indian, and Nigeria.

Language: Python - Size: 2.44 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 5

RobsonVinicius/COBIT

📚 Repo criado com objetivo de documentar os estudos em COBIT

Size: 16.1 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

DorielRivalet/calculator

This GitHub repository contains a calculator made with HTML, CSS and JavaScript. From The Odin Project Foundations Capstone Project Assignment.

Language: JavaScript - Size: 44.5 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

cluesurfback/math

Math in XO

Size: 22.5 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

LucasAsafe/swiftCodes-Foundations

Language: Swift - Size: 542 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

Jonesdl-2785/JavaScript_Project_One

JavaScript Foundations_ProjectOne

Language: JavaScript - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

JonesSteel/fullstack-nanodegree-vm Fork of udacity/fullstack-nanodegree-vm

A repo for Vagrant machine

Language: Python - Size: 1.17 MB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0