profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/pressureless/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.

iheartla/iheartla 8

Linear algebra

pressureless/solitaire 4

Solitaire by Unity3D

pressureless/Airtight 0

a python-like language with hindley-milner-like type system, which is compiled to c

pressureless/computer-graphics-bounding-volume-hierarchy 0

Computer Graphics Assignment about Bounding Volume Hierarchies

pressureless/computer-graphics-kinematics 0

Computer Graphics Assignment about Kinematics

pressureless/computer-graphics-mass-spring-systems 0

Computer Graphics Assignment – Mass Spring Systems

pressureless/computer-graphics-meshes 0

Computer Graphics Assignment about Meshes

pressureless/computer-graphics-raster-images 0

Computer Graphics Assignment about Raster Images

pressureless/computer-graphics-ray-casting 0

Computer Graphics Assignment about Ray Casting

pressureless/computer-graphics-ray-tracing 0

Computer Graphics Assignment about Ray Tracing

push eventpressureless/hindley-milner-python

pressureless

commit sha f5609ac3429c99dae8b0dbb3b9b079db72aa79e6

Modify ftv

view details

push time in 7 days

push eventpressureless/hindley-milner-python

pressureless

commit sha c39559c33cf09d5c49e8e02c0b6645d6b80cf83e

Modify assumption dict

view details

pressureless

commit sha f07ddb84b3b27d15d630f36e49bfe074dd1251d5

Add log type

view details

pressureless

commit sha b3102dbdf0ab82a9b03588b4d7886d7bd7d729ac

Letrec

view details

pressureless

commit sha 3bea83d0852138fcb72226e56c072def8a1b2cc4

Generalization/Instantiation

view details

pressureless

commit sha 82dfa70feb6640e75fce556de90bd30c01e655e9

Handle m set

view details

push time in 8 days

push eventpressureless/hindley-milner-python

pressureless

commit sha 2d37ba90c34adae880db3c209ac2fd41b8675c00

Add logger

view details

push time in 9 days

push eventpressureless/hindley-milner-python

pressureless

commit sha 02a677e45d9c6647f4e3f30663977951d5ca4592

Add test

view details

push time in 9 days

push eventpressureless/hindley-milner-python

pressureless

commit sha c71aa3feae040df08f622e1729f01a41e62d9716

Update

view details

push time in 9 days

push eventpressureless/hindley-milner-python

pressureless

commit sha 3acbe2718909d73764ccac064a9347779fdbd287

Update

view details

push time in 10 days

push eventpressureless/hindley-milner-python

pressureless

commit sha 1e3786c36d037b61fc4da341b0ff8901e54262dc

Update

view details

push time in 12 days

push eventpressureless/hindley-milner-python

pressureless

commit sha 06d49a0aefb63ff67232a3ef59319e91b7cd6d0f

Add constraint class

view details

pressureless

commit sha ddfec5faf0d91499dd64cfc1fa6e03895905fded

Collect constraints

view details

pressureless

commit sha a18649affd5eda41f8452fb5ada0eb738c015595

Simple solve

view details

push time in 15 days

push eventpressureless/hindley-milner-python

pressureless

commit sha 99ec67f943deaa6bce957eb45a6c318cd7cca1dd

Add base class

view details

pressureless

commit sha 3151ce17e66a01cbc07e37b0d2e5ee96c5faced0

Basic constraint

view details

push time in 20 days

fork pressureless/hindley-milner-python

Hindley-Milner Type Inference implemented in (although not for) Python.

fork in a month

push eventiheartla/iheartla

pressureless

commit sha 0697c1607794ccb78bec4d373f4821f835000f40

Update wheel

view details

push time in a month

push eventpressureless/Airtight

pressureless

commit sha 6f013e6da43575e6ed4697ae6a3d2af49da19f4d

Make original code work

view details

push time in a month

fork pressureless/Airtight

a python-like language with hindley-milner-like type system, which is compiled to c

fork in a month

push eventiheartla/iheartla

pressureless

commit sha c49a806a1a82647bbf74c0e9a319f74edc8ce2fb

Check dims as int vlaue

view details

push time in a month

push eventiheartla/iheartla

pressureless

commit sha 31d4030bd7b5e31f9c1dbc698e0970722a312b4b

Update tests

view details

push time in 2 months

push eventiheartla/iheartla

pressureless

commit sha 9e920a725d4f137c3449224efce4b8f58b2ede99

Remove invalid dim from symtable

view details

push time in 2 months

push eventiheartla/iheartla

pressureless

commit sha 17e4666abf90a5b13a818c6e3f8ad589c23ae824

Simple arithmetic dims (#103)

view details

pressureless

commit sha 9d5f36bd7f762340231fa709640301528c54dbd9

Dynamic dims (#103)

view details

pressureless

commit sha 2a42ef1662399db7328e6657d07bd77d6ef676a4

Update error msg (#103)

view details

pressureless

commit sha 624fdc3bc701e32733de6007568be56c9adc3915

Sympify dims

view details

push time in 2 months

push eventiheartla/iheartla

pressureless

commit sha a84a206c981967d5e81844364bbc306bb98ad815

Init arithmetic dims (#103)

view details

pressureless

commit sha 13e5657049970cb3910738ec498dc0bb39134055

Fix test error(#103)

view details

pressureless

commit sha 706da5b5aa8d8f2830debb98ce3510b58754ed1d

Merge branch 'master' of https://github.com/pressureless/linear_algebra

view details

push time in 2 months

issue commentiheartla/iheartla

[feature request] Add greek letters to shortcuts

Supported

alecjacobson

comment created time in 2 months

issue closediheartla/iheartla

set of integers should produce std::set<int> instead of set of singleton tuples

given
v ∈ ℤ

s = ∑_(i for i ∈ `N₁`(v)) a_i

where
a_i : ℝ
`N₁` : ℤ → {ℤ}

produces cpp code containing:

std::function<std::set<std::tuple< int > >(int)> N₁;

{ℤ} should be simply std::set<int>

closed time in 2 months

alecjacobson

issue closediheartla/iheartla

During block matrix construction, vectors are column matrices in C++ and row matrices in Python

P = [ Pa ; Pb ; Pc ; Pd ]
where
Pa: ℝ^3
Pb: ℝ^3
Pc: ℝ^3
Pd: ℝ^3

returns a 12 × 1 matrix in C++ but a 4 × 3 matrix in Python.

closed time in 2 months

yig

issue closediheartla/iheartla

Way to print just error message

Is it possible / could I make a feature request to print just the error message and suppress the exception traceback?

For example suppose test.txt contains:

B = [ A C ]

where

A ℝ ^ (4 × 4): a matrix
C: ℝ ^ (4 × 4): a matrix
E: { ℤ × ℤ }

(that is, an error on the A ℝ ^ (4 × 4): a matrix line). If I run python app.py -o eigen test.txt then I see:

  File "app.py", line 30, in <module>
    for input in args.input: compile_la_file(input, parser_type)
  File "/Users/ajx/Repos/iheartla/iheartla/la_parser/parser.py", line 378, in compile_la_file
    model = parser.parse(content, parseinfo=True)
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 229, in parse
    raise self._furthest_exception
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 700, in _option
    yield
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 786, in _repeat
    self._isolate(block)
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 765, in _isolate
    block()
  File "/Users/ajx/Repos/iheartla/iheartla/la_local_parsers/init_parser.py", line 3451, in block1
    self._hspace_()
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 56, in wrapper
    return self._call(ruleinfo)
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 523, in _call
    result = self._recursive_call(ruleinfo)
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 552, in _recursive_call
    return self._invoke_rule(ruleinfo, self.memokey)
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 601, in _invoke_rule
    ruleinfo.impl(self)
  File "/Users/ajx/Repos/iheartla/iheartla/la_local_parsers/init_parser.py", line 2288, in _hspace_
    self._error('no available options')
  File "/Users/ajx/opt/miniconda3/lib/python3.8/site-packages/tatsu/contexts.py", line 460, in _error
    raise self._make_exception(item, exclass=exclass)
tatsu.exceptions.FailedParse: (5:3) no available options :
A ℝ ^ (4 × 4): a matrix
  ^
hspace
where_condition
where_conditions
params_block
valid_block
start

I would like to suppress everything except

A ℝ ^ (4 × 4): a matrix
  ^

For a command line app, it might make sense to send this to stderr and have an optional flag for this other debug output.

closed time in 2 months

alecjacobson

issue commentiheartla/iheartla

Way to print just error message

Fixed

alecjacobson

comment created time in 2 months

issue closediheartla/iheartla

cpp output contains undefined symbol

given
v ∈ ℤ

s = ∑_(i for i ∈ `N₁`(v)) a_i

where
a_i : ℝ
`N₁` : ℤ → {ℤ}

produces a .cpp file which does not compile:

test.cpp:40:12: error: use of undeclared identifier 'set_0'
        if(set_0.find(std::tuple< int >(i)) != set_0.end()){
           ^
test.cpp:40:48: error: use of undeclared identifier 'set_0'
        if(set_0.find(std::tuple< int >(i)) != set_0.end()){

closed time in 2 months

alecjacobson

issue commentiheartla/iheartla

cpp output contains undefined symbol

Fixed

alecjacobson

comment created time in 2 months

issue closediheartla/iheartla

Empty sets should be allowed as input

Currently the codegen adds an assertion (e.g., for python)

assert isinstance(E, list) and len(E) > 0  

Shouldn't this be

assert isinstance(E, list) and len(E) >= 0  

?

For example, it is perfectly valid to build the (all-zero) adjacency matrix of an empty set of edges.

closed time in 2 months

alecjacobson

issue commentiheartla/iheartla

Empty sets should be allowed as input

Fixed

alecjacobson

comment created time in 2 months