|
|
Asymptote |
2 |
Notes on classical economics |
Sep 14, 2019 |
|
|
Java |
2 |
Fundamental Javaoop for Notes |
Feb 13, 2023 |
|
|
None |
3 |
Azure Fundamental Notes 👨🎓📄 |
Aug 11, 2022 |
|
|
None |
3 |
Notes about economics and useful data sources |
Feb 10, 2022 |
|
|
Go |
3 |
Enterprise welfare |
Apr 21, 2023 |
|
|
HTML |
3 |
Namaste JavaScript and Core JavaScript Fundamental Notes |
May 09, 2022 |
|
|
Python |
4 |
Welfare State Analytics |
Oct 25, 2021 |
|
|
Objective-C++ |
17 |
Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems" |
Aug 18, 2022 |
|
|
None |
33 |
All core cs fundamental notes at one place |
Apr 10, 2023 |
|
|
None |
4 |
Links to notes and other materials written for economics students |
Dec 21, 2020 |
|
|
HTML |
2 |
My learning notes and source codes of fundamental d3js. |
Mar 27, 2022 |
|
|
Java |
4 |
Here is my old java notes. fundamental to OOP |
Jul 10, 2022 |
|
|
Python |
5 |
Aggressive and welfare tool! |
Mar 04, 2022 |
|
|
Java |
5 |
Animal welfare assessment grid |
Mar 08, 2022 |
|
|
TeX |
14 |
Theorems, Definitions, Papers, Research |
Feb 28, 2023 |
|
|
JavaScript |
2 |
Latihan notes app kelas Belajar Fundamental Aplikasi Backend dari Dicoding |
Aug 05, 2023 |
|
|
Java |
255 |
The meizi of a material design style welfare App. |
May 01, 2023 |
|
|
TypeScript |
8 |
The Youth Economics Initiative website. |
Apr 29, 2023 |
|
|
Coq |
11 |
Theorems for Real Closed Fields |
Mar 23, 2022 |
|
|
Agda |
2 |
Formalizing 100 theorems in Agda |
Apr 11, 2023 |
|
|
Java |
3 |
[WIP] Notes and Programs related to the most Fundamental and Important Concepts of Java Programming. |
Aug 22, 2020 |
|
|
Lean |
61 |
A gamification of the theorems in MATH40002 Analysis 1 |
Jul 09, 2022 |
|
|
Python |
2 |
Proving math theorems in Lean using the DreamCoder algorithm. |
Dec 06, 2022 |
|
|
Jupyter Notebook |
107 |
Quantitative Economics |
Aug 05, 2022 |
|
|
Go |
2 |
Ergodicity Economics |
Jan 11, 2021 |
|
|
Jupyter Notebook |
2 |
Economics Projects |
Mar 23, 2022 |
|
|
Python |
2 |
Contains code material for the Complexity Economics course @Exploring Economics Summer Academy 2018 |
Jan 11, 2021 |
|
|
HTML |
3 |
Instructions for using the Economics HPC |
Aug 09, 2021 |
|
|
F# |
2 |
Randomized testing of various CFR theorems. |
Aug 11, 2020 |
|
|
Agda |
9 |
:globe_with_meridians: Theorems that rule this multiverse |
Aug 08, 2022 |
|
|
Shell |
7 |
Libertarian Welfare State: A Book I'm Writing |
Mar 11, 2020 |
|
|
Haskell |
8 |
A browser-only web interface to the free-theorems library |
Mar 14, 2021 |
|
|
CSS |
4 |
FHIR Implementation Guides by the Norwegian Labour and Welfare Administration (NAV) |
Dec 30, 2021 |
|
|
HTML |
9 |
Open source collection of university notes on Computer, Math, Finance, Economics and so much more! |
Apr 21, 2023 |
|
|
Python |
6 |
Economics of Serverless |
Feb 28, 2023 |
|
|
Jupyter Notebook |
2 |
Environmental Economics 118 |
Nov 01, 2021 |
|
|
HTML |
2 |
Grassroots Economics Documentation |
Feb 22, 2023 |
|
|
Python |
2 |
Introduction to the Command Line for Economics |
Apr 12, 2023 |
|
|
TypeScript |
4 |
Learning portal for The Youth Economics Initiative. |
Apr 07, 2023 |
|
|
PHP |
2 |
A website to manage welfare data of the animals at the Salisbury Zoo |
Mar 12, 2023 |
|
|
C++ |
2 |
Simple Proof Assistant: helps you prove theorems. |
Dec 22, 2017 |
|
|
None |
4 |
Fundamental-Programming |
Aug 05, 2018 |
|
|
None |
2 |
Fundamental Analysis |
Sep 27, 2023 |
|
|
HTML |
3 |
Website for the book Fundamental Kotlin |
Dec 13, 2019 |
|
|
Python |
3 |
University of the People Python fundamental |
Dec 09, 2021 |
|
|
Python |
3 |
University of the people python fundamental |
Dec 09, 2021 |
|
|
Rust |
35 |
Trait generalization of the fundamental types |
May 02, 2023 |
|
|
TeX |
14 |
Haskell course in the Higher School of Economics |
Jun 27, 2022 |
|
|
CSS |
2 |
Official website for the economics society of DPSI |
May 04, 2022 |
|
|
Racket |
14 |
The best experimental economics software built in Racket |
Apr 21, 2023 |