Working on Blockchain technologies, mechanized verification of data structures, open-source python libraries.
-
ETH Zurich
- Switzerland
- http://blog.nielstron.de
Block or Report
Block or report nielstron
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
OpShin/eopsin Public
A simple pythonic programming language for Smart Contracts on Cardano
-
quantulum3 Public
Library for unit extraction under active development - fork of quantulum
-
4,306 contributions in the last year
Less
More
Activity overview
Contribution activity
March 2023
Created 240 commits in 10 repositories
Created 1 repository
Created a pull request in Python-Cardano/pycardano that received 5 comments
Correctly parse List[X] annotated objects
Imperatorlang allows users to specify PlutusData like this
@dataclass()
class D(PlutusData): xs: List[A] # where A is also PlutusData
This was pre…
+65
−6
•
5
comments
Opened 21 other pull requests in 7 repositories
OpShin/eopsin
7
open
4
merged
Python-Cardano/pycardano
1
open
3
merged
MitchTurner/naumachia
2
merged
cardano-foundation/CIPs
1
open
OpShin/pluthon
1
merged
ProofOfCardano/Projects
1
open
input-output-hk/essential-cardano
1
open
Reviewed 3 pull requests in 2 repositories
Python-Cardano/pycardano
2 pull requests
OpShin/plutus-bench
1 pull request
Created an issue in OpShin/eopsin-pioneer-program that received 4 comments
Bug: Need to assert in last line
Eopsin has a nuanced difference to PlutusTx: it gives you full control over what your contract returns. Unfortunately (and maybe not very intuitive…
4
comments
Opened 23 other issues in 11 repositories
OpShin/eopsin
6
open
2
closed
- Move out the Plutus Ledger API definition into a seperate package
- Native evaluation of script cost
- Document setting signatories and valid range
- Print function signatures in a simpler format
- Document posixtime in Cardano vs Python
- Type cast may lead to error
- Add an example on how to export data in CLI format
- int(x) does not work for strings with preceding/trailing empty space
OpShin/eopsin-pioneer-program
3
closed
OpShin/hebi
3
open
aiken-lang/aiken
1
open
1
closed
Python-Cardano/pycardano
1
closed
OpShin/pluthon
1
closed
vemel/handsdown
1
open
input-output-hk/ce-jutus
1
open
input-output-hk/plutus
1
closed
input-output-hk/plutus-apps
1
closed
input-output-hk/cardano-node
1
open
37
contributions
in private repositories
Mar 1 – Mar 13





