Giters
cywongnorman

cywongnorman

Geek Repo

1

followers

0

following

25

stars

Github PK Tool:Github PK Tool

cywongnorman's starred repositories

concerto-platform

Concerto Platform - Open-Source Online Adaptive Testing Platform

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

concerto

Personal fork of the Concerto Platform for assessments in R

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

form-to-google-sheets

Store HTML form submissions in Google Sheets.

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

jsonstore

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

Language:JavaScriptLicense:MITStargazers:2030Issues:0Issues:0

json-api

A specification for building JSON APIs

Language:CSSLicense:CC0-1.0Stargazers:7386Issues:0Issues:0

talentlms

WordPress.org Plugin Mirror

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

concerto-platform

Concerto Platform (Testing)

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

healthcare.gov

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

jekyll

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

Language:RubyLicense:MITStargazers:48687Issues:0Issues:0

lightspark

An open source flash player implementation

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

pragmatapro

PragmataPro font is designed to help pros to work better

Language:Rich Text FormatStargazers:1394Issues:0Issues:0

TypeScript

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

Language:TypeScriptLicense:Apache-2.0Stargazers:99349Issues:0Issues:0

concerto-platform

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

Language:PHPStargazers:2Issues:0Issues:0

extension-tao-itemqti

extension to create QTI items for TAO

Language:JavaScriptLicense:GPL-2.0Stargazers:7Issues:0Issues:0

OpenOLAT

Learning Management System OpenOlat

Language:JavaLicense:NOASSERTIONStargazers:307Issues:0Issues:0

julia

The Julia Programming Language

Language:JuliaLicense:MITStargazers:45084Issues:0Issues:0

Calc3_CheatSheet

PDF TeX-based Cheat Sheet for Calculus 3

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

sympy

A computer algebra system written in pure Python

Language:PythonLicense:NOASSERTIONStargazers:12641Issues:0Issues:0

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:2424Issues:0Issues: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:4732Issues:0Issues: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:0Issues:0

hkrugml4b

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

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

free-programming-books

:books: Freely available programming books

License:CC-BY-4.0Stargazers:329584Issues:0Issues:0

metacademy-application

Metacademy.org's application code

Language:JavaScriptLicense:GPL-3.0Stargazers:691Issues:0Issues:0

concerto-platform

Concerto Platform - Open-Source Online Adaptive Testing Platform

Language:PHPLicense:Apache-2.0Stargazers:148Issues:0Issues:0