Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

awesome

My own personal awesome list in a variety of topics.
https://github.com/Sintrastes/awesome

Last synced: about 20 hours ago
JSON representation

Research (Or just cool) Languages
- MarkovJunior
- Koka
- Refal
- Ante
- Flix
- Genus
Haskell
Kotlin
- KotlinGrad
- Kotest
- Arrow
- Http4k
Category Theory Papers
- The Continuity of Monadic Stream Functions
- Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming - nelijarve/jeltsch-slides.pdf)
Math History
- Richard Montague: The simplicity of language, the complexity of life
- Large Scale, Small Scale

Programming Languages

Categories

Research (Or just cool) Languages 6 Haskell 4 Kotlin 4 Math History 2 Category Theory Papers 2

Sub Categories

Keywords

types 1 symbolic-differentiation 1 shape-safety 1 optimization 1 multi-stage-programming 1 message-passing 1 linear-algebra 1 kotlin 1 gradient-descent 1 differentiable-programming 1 computer-algebra 1 chinese 1 automatic-differentiation 1 array-programming 1 algebraic-data-types 1 voxel 1 procedural-generation 1 probabilistic-programming 1 markovjunior 1 language 1 gamedev 1 csharp 1 cellular-automata 1 algorithms 1