iwilare/sol-lang iwilare/sol-lang

  • Stars
    star
    1
  • Language
    Java
  • Created about 8 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
iwilare/sol-lang
github

iwilare

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Sol - Simple Object Language: minimal Smalltalk-like interpreted language

More Repositories

1

church-rosser

A complete proof in Agda of the Church-Rosser theorem for untyped Ξ»-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses the infrastructure for Ξ»-terms and substitutions provided by the PLFA book
Agda
18
star
2

categorical-automata

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.org/abs/2305.00272
Agda
15
star
3

formal-methods

Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
Agda
12
star
4

solitaire

A minimal golfed web version of the MOLEK-SYNTEZ solitaire by Zachtronics
HTML
6
star
5

categorical-qtl

Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories
Agda
6
star
6

sap-tracker

Super Auto Pets achievements tracker
HTML
3
star
7

algebraic-temporal-logics

Semantics of counterpart-based quantified (linear) temporal logics in Agda
Agda
3
star
8

factorio-planner

Simple utility to calculate quantitative dependency graphs in Factorio
Rust
2
star
9

qltl-pnf

Positive normal forms for counterpart-based temporal logics, with a standard non-categorical semantics
Agda
2
star
10

nix

nix nix nix nix nix nix nix nix nix nix nix nix
Nix
1
star
11

programming-in-ct

Lecture notes for the lab sessions of the "Category Theory and its Applications" course 2024 @ Tallinn University of Technology
1
star
12

compiler-course-unipi

Project and assignments for the "Languages, Interpreters and Compilers" 2020/2021 course @ Department of Computer Science, University of Pisa https://github.com/lillo/compiler-course-unipi
OCaml
1
star
13

CompetitiveProgramming

Assignments for the "Competitive Programming and Contests" 2020/2021 course @ Department of Computer Science, University of Pisa https://github.com/rossanoventurini/CompetitiveProgramming
C++
1
star
14

neural-network

A simple C++ implementation of feed forward neural networks with backpropagation, Tikhonov regularization, momentum, implementing holdout and K-fold CV
C++
1
star