summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
devMove scripts file to new folderleo-ard3 months
leo-ard/better-backpointer-encodingtestLéonard Oest O'Leary9 months
leo-ard/cleanupMerge branch 'dev' into leo-ard/cleanupleo-ard8 months
leo-ard/compression-c-hostMerge branch 'dev' into leo-ard/compression-c-hostleo-ard8 months
leo-ard/encoding-2bAdd decompressionLéonard Oest O'Leary8 months
leo-ard/flexible-encodingFix apply -> ##applyLéonard Oest O'Leary10 months
mainUpdate README.mdLéonard Oest O'Leary7 months
mathis/bootstrapAdded file full-r4rs.scmMathis Laroche10 months
mathis/rvmsAdded the Hoon rvmMathis8 months
mathis/tmpupdated the mk-exe filesMathis8 months
[...]
 
TagDownloadAuthorAge
camera_versioncommit 2c9e64bb9a...SamuelYvon3 years
v.perfcommit 24d4f9d62d...Samuel Yvon3 years
 
AgeCommit messageAuthor
2023-09-09Update README.mdHEADmainLéonard Oest O'Leary
2023-09-09Update README.mdLéonard Oest O'Leary
2023-07-27Merge pull request #55 from exxjob/patch-1Marc Feeley
2023-07-27fix path to paper section in readmeexxjob
2023-05-23Merge pull request #19 from leo-ard/idris2-hostLéonard Oest O'Leary
2023-05-23Merge pull request #47 from udem-dlteam/leo-ard/new-encodingLéonard Oest O'Leary
2023-05-19Adding hash-compile functionLéonard Oest O'Leary
2023-05-19Add the modifications to the js targetLéonard Oest O'Leary
2023-05-19Add c-ribs as ribs (and not vectors)Léonard Oest O'Leary
2023-05-18add feature encoding/<encoding-name> by defaultLéonard Oest O'Leary
[...]
 
Clone
https://git.robbyzambito.me/mirror/ribbit.git
ssh://git.robbyzambito.me/srv/git/mirror/ribbit.git