Giters
cywongnorman

cywongnorman

Geek Repo

1

followers

0

following

25

stars

Github PK Tool:Github PK Tool

cywongnorman's starred repositories

free-programming-books

:books: Freely available programming books

License:CC-BY-4.0Stargazers:332316Issues:9781Issues:1094

TypeScript

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

Language:TypeScriptLicense:Apache-2.0Stargazers:99854Issues:2133Issues:40706

jekyll

:globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby

Language:RubyLicense:MITStargazers:48852Issues:1426Issues:4824

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:45345Issues:930Issues:25134

sympy

A computer algebra system written in pure Python

Language:PythonLicense:NOASSERTIONStargazers:12720Issues:292Issues:13244

json-api

A specification for building JSON APIs

Language:CSSLicense:CC0-1.0Stargazers:7413Issues:205Issues:785

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:4757Issues:103Issues:9982

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2444Issues:62Issues:5471

jsonstore

:rocket: jsonstore offers a free and secured JSON-based cloud datastore for small projects | Inactive

Language:JavaScriptLicense:MITStargazers:2029Issues:27Issues:52

pragmatapro

PragmataPro font is designed to help pros to work better

Language:Rich Text FormatStargazers:1405Issues:60Issues:269

metacademy-application

Metacademy.org's application code

Language:JavaScriptLicense:GPL-3.0Stargazers:693Issues:67Issues:59

OpenOLAT

Learning Management System OpenOlat

Language:JavaLicense:NOASSERTIONStargazers:311Issues:25Issues:62

concerto-platform

Concerto Platform - Open-Source Online Adaptive Testing Platform

Language:PHPLicense:Apache-2.0Stargazers:148Issues:33Issues:327

Calc3_CheatSheet

PDF TeX-based Cheat Sheet for Calculus 3

Language:TeXLicense:MITStargazers:45Issues:4Issues:0

hkrugml4b

Machine Learning for Beginners https://github.com/hkrusers/hkrugml4b

Language:HTMLLicense:MITStargazers:11Issues:4Issues:0

proof-assistant

Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking

Language:JavaScriptLicense:GPL-3.0Stargazers:10Issues:3Issues:18

extension-tao-itemqti

extension to create QTI items for TAO

Language:JavaScriptLicense:GPL-2.0Stargazers:7Issues:47Issues:6

healthcare.gov

Language:JavaScriptLicense:NOASSERTIONStargazers:6Issues:0Issues:0

concerto-platform

Automatically exported from code.google.com/p/concerto-platform

Language:PHPStargazers:2Issues:2Issues:72

concerto-platform

Concerto Platform - Open-Source Online Adaptive Testing Platform

Language:PHPLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

concerto-platform

Concerto Platform (Testing)

Language:PHPLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

form-to-google-sheets

Store HTML form submissions in Google Sheets.

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

lightspark

An open source flash player implementation

Language:C++License:LGPL-3.0Stargazers:1Issues:0Issues:0

concerto

Personal fork of the Concerto Platform for assessments in R

Language:RLicense:GPL-2.0Stargazers:1Issues:0Issues:0

talentlms

WordPress.org Plugin Mirror

Language:JavaScriptLicense:NOASSERTIONStargazers:1Issues:0Issues:0